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