1 // This -*- C++ -*- file was created automatically.
2 // Don't change it! [asierra18jan96]
8 enum Math_Symbols_enum {
18 /// Symbols that don't exist in X11 symbol font but that we fake
21 // Symbols that do exist in X11 symbol font
69 LM_Leftrightarrow = 0xdb,
70 LM_leftrightarrow = 0xab,
102 //LM_emptyset = 0xc6,
113 LM_diamondsuit = 0xa8,
127 /// Symbols that don't exist in X11 symbol font
132 /// needed as decoration
154 /// Accents that don't exist in X11 symbol font