Re: Mathematical exist and forall in Unicode

From: Mirek (midge@wp.pl)
Date: Tue Dec 30 2003 - 11:12:34 EST

  • Next message: Markus Scherer: "Re: Mathematical exist and forall in Unicode"

    Dnia 2003-12-30 15:26, Użytkownik Patrick Andries napisał:

    >>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

    This archive was generated by hypermail 2.1.5 : Tue Dec 30 2003 - 12:16:53 EST