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
23 LM_Leftrightarrow = 0xdb,
36 /// Symbols that don't exist in X11 symbol font
39 /// needed as decoration
61 /// Accents that don't exist in X11 symbol font