[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

MS2 Addenda

In the encoding MS1, the following glyphs should be added:

AMS equals friends: (+3)

\doteq (currently constructed as a macro)
\hateq (often requested)
\checkeq (also to be foubd in Unicode)

AMS Vdash group: (+1)

\VDash (currently, only \nVDash is in, funny, isn't it?)

AMS misc. geometric group: (+1)

\barvee (also to be found in Unicode)

--J"org Knappen