What
Is there a symbol that is slightly different from $\forall$
(e.g. having a second line from upper left to lower middle)? It should obviously mean "for all" but be sufficiently different to not be mistaken for $\forall$
.
Similarly, is there a slightly different symbol than $\exists$
(e.g. with two lines downward)?
Why
I need two different symbols to differentiate whether I'm in some formal logic or on the meta level (talking about the logic). Currently I use "f.a." and "ex.", but I think it's easier to grasp complex descriptions if quantifiers stand out.
Where
I looked in amssymb and http://www.math.union.edu/~dpvc/jsmath/symbols/welcome.html, but didn't find a suitable symbol.