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
Similarly, is there a slightly different symbol than
$\exists$ (e.g. with two lines downward)?
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.
I looked in amssymb and http://www.math.union.edu/~dpvc/jsmath/symbols/welcome.html, but didn't find a suitable symbol.