Jörg,
If you care about this character please fill out the appropriate forms and
submit it with samples (not ASCII art) to the UTC and/or WG2. That's how
it's done.
Michael
>|=| tautological equivalent sign
>* german: gleichstark
>* mathematical relation (R)
>* Reference: Bauer and
Dear colleagues,
I noticed that the following mathematical character seems to be absent both
from current UNicode and from the STIX proposal:
|=| tautological equivalent sign
* german: gleichstark
* mathematical relation (R)
* Reference: Bauer and Wirsing, Elementare Aussagenlogik,
2 matches
Mail list logo