1 // This -*- C++ -*- file was created automatically.
2 // Don't change it! [asierra18jan96]
8 enum Math_Symbols_enum {
17 /// Symbols that don't exist in X11 symbol font but that we fake
20 // Symbols that do exist in X11 symbol font
68 LM_Leftrightarrow = 0xdb,
69 LM_leftrightarrow = 0xab,
101 //LM_emptyset = 0xc6,
112 LM_diamondsuit = 0xa8,
126 /// Symbols that don't exist in X11 symbol font
131 /// needed as decoration
153 /// Accents that don't exist in X11 symbol font