Re: Missing mathematical character discovered

[Michael Everson]

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 Wirsing, Elementare Aussagenlogik, Springer-Verlag
>      Berlin/Heidelberg, 1991, page 32 ff.
>    * Looks like TeX's \models with a closing vertical bar added
>    * Simple ASCII graphics: |=|