Missing mathematical character discovered

Date: Wed Oct 04 2000 - 06:50:53 EDT

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


J"org Knappen
Springer-Verlag Heidelberg

* See you at the MathML conference at Urbana/Champaign

This archive was generated by hypermail 2.1.2 : Tue Jul 10 2001 - 17:21:14 EDT