Missing mathematical character discovered

From: J%ORG KNAPPEN (KNAPPEN@ALPHA.NTP.SPRINGER.DE)
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: |=|

Yours,

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