I tried to find out two characters in unicode and encountered the following problem. There are two characters for logical EXISTS and FOR ALL signs. There exists "old notation" that is in unicode (exist = mirrored E, for all = inverted A)
U+2200 U+2203
and yet new notation (exist = the character similar to logical OR
OPERATOR but bigger, and for all =
similar to logical AND OPERATOR, but bigger).
You mean similar to U+22C0 and U+22C1 ?
Do you have any reference as to the modernity of this V-like notation ?
I made some investigations, when you asked about references and I found, that V and inverted V symbols are not common, they are probably typicaly polish :-). WHat is more there are more different conventions for those symbols :-(
Nevertheless they are missing in unicode.
Regards, Mirek
