1 // This -*- C++ -*- file was created automatically.
2 // Don't change it! [asierra18jan96]
8 enum Math_Symbols_enum {
20 /// Symbols that don't exist in X11 symbol font but that we fake
23 // Symbols that do exist in X11 symbol font
71 LM_Leftrightarrow = 0xdb,
72 LM_leftrightarrow = 0xab,
104 //LM_emptyset = 0xc6,
115 LM_diamondsuit = 0xa8,
130 /// Symbols that don't exist in X11 symbol font
138 LM_rightleftharpoons,
145 LM_Longleftrightarrow,
146 LM_longleftrightarrow,
229 /// Accents that don't exist in X11 symbol font