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: |=|
This archive was generated by hypermail 2.1.2 : Tue Jul 10 2001 - 17:21:14 EDT