src/mathed/symbol_def.h

   1 // This -*- C++ -*- file was created automatically.
   2 // Don't change it!  [asierra18jan96]
   3 // Why? [andre]
   4
   5 #ifndef SYMBOL_DEF
   6 #define SYMBOL_DEF
   7
   8 enum Math_Symbols_enum {
   9 // Accents
  10         LM_backslash      = '\\',
  11         LM_acute          = '\'',
  12         LM_grave          = '`',
  13         LM_hat            = '^',
  14         LM_tilde          = '~',
  15         LM_dot            = '.',
  16         LM_bar            = '-',
  17
  18 /// Symbols that don't exist in X11 symbol font but that we fake
  19         LM_not            = 10,
  20
  21 // Symbols that do exist in X11 symbol font
  22         LM_Gamma          = 0x47,
  23         LM_Delta          = 0x44,
  24         LM_Theta          = 0x51,
  25         LM_Lambda         = 0x4c,
  26         LM_Xi             = 0x58,
  27         LM_Pi             = 0x50,
  28         LM_Sigma          = 0x53,
  29         //LM_Upsilon      = 0x55,
  30         LM_Upsilon        = 0xa1,
  31         LM_Phi            = 0x46,
  32         LM_Psi            = 0x59,
  33         LM_Omega          = 0x57,
  34         LM_alpha          = 0x61,
  35         LM_beta           = 0x62,
  36         LM_gamma          = 0x67,
  37         LM_delta          = 0x64,
  38         LM_varepsilon     = 0x65,
  39         LM_eta            = 0x68,
  40         LM_theta          = 0x71,
  41         LM_vartheta       = 0x4a,
  42         LM_iota           = 0x69,
  43         LM_kappa          = 0x6b,
  44         LM_lambda         = 0x6c,
  45         LM_mu             = 0x6d,
  46         LM_nu             = 0x6e,
  47         LM_xi             = 0x78,
  48         LM_pi             = 0x70,
  49         LM_varpi          = 0x76,
  50         LM_rho            = 0x72,
  51         LM_sigma          = 0x73,
  52         LM_tau            = 0x74,
  53         LM_varsigma       = 0x56,
  54         LM_zeta           = 0x7a,
  55         LM_upsilon        = 0x75,
  56         LM_phi            = 0x66,
  57         LM_varphi         = 0x6a,
  58         LM_chi            = 0x63,
  59         LM_psi            = 0x79,
  60         LM_omega          = 0x77,
  61         LM_downarrow      = 0xaf,
  62         LM_leftarrow      = 0xac,
  63         LM_Downarrow      = 0xdf,
  64         LM_Leftarrow      = 0xdc,
  65         LM_rightarrow     = 0xae,
  66         LM_uparrow        = 0xad,
  67         LM_Rightarrow     = 0xde,
  68         LM_Uparrow        = 0xdd,
  69         LM_Leftrightarrow = 0xdb,
  70         LM_leftrightarrow = 0xab,
  71         LM_leq            = 0xa3,
  72         LM_geq            = 0xb3,
  73         LM_equiv          = 0xba,
  74         LM_subset         = 0xcc,
  75         LM_supset         = 0xc9,
  76         LM_approx         = 0xbb,
  77         LM_subseteq       = 0xcd,
  78         LM_supseteq       = 0xca,
  79         LM_cong           = 0x40,
  80         LM_neq            = 0xb9,
  81         LM_in             = 0xce,
  82         LM_ni             = 0x27,
  83         LM_propto         = 0xb5,
  84         LM_pm             = 0xb1,
  85         LM_cap            = 0xc7,
  86         LM_diamond        = 0xe0,
  87         LM_oplus          = 0xc5,
  88         LM_cup            = 0xc8,
  89         LM_times          = 0xb4,
  90         LM_otimes         = 0xc4,
  91         LM_div            = 0xb8,
  92         LM_oslash         = 0xc6,
  93         LM_cdot           = 0xd7,
  94         LM_wedge          = 0xd9,
  95         LM_bullet         = 0xb7,
  96         LM_sum            = 0xe5,
  97         LM_int            = 0xf2,
  98         LM_prod           = 0xd5,
  99         LM_nabla          = 0xd1,
 100         LM_partial        = 0xb6,
 101         LM_infty          = 0xa5,
 102         LM_prime          = 0xa2,
 103         //LM_emptyset     = 0xc6,
 104         LM_exists         = 0x24,
 105         LM_forall         = 0x22,
 106         LM_Re             = 0xc2,
 107         LM_Im             = 0xc1,
 108         LM_aleph          = 0xc0,
 109         LM_wp             = 0xc3,
 110         LM_bot            = 0x5e,
 111         LM_neg            = 0xd8,
 112         LM_sharp          = 0x23,
 113         LM_surd           = 0xd6,
 114         LM_diamondsuit    = 0xa8,
 115         LM_heartsuit      = 0xa9,
 116         LM_clubsuit       = 0xa7,
 117         LM_spadesuit      = 0xaa,
 118         LM_langle         = 0xe1,
 119         LM_lceil          = 0xe9,
 120         LM_lfloor         = 0xeb,
 121         LM_rangle         = 0xf1,
 122         LM_rceil          = 0xf9,
 123         LM_rfloor         = 0xfb,
 124         LM_mid            = 0x7c,
 125         LM_angle          = 0xd0,
 126         LM_vee            = 0xda,
 127
 128 /// Symbols that don't exist in X11 symbol font
 129         LM_NoFont          = 256,
 130         LM_perp,
 131         LM_notin,
 132
 133 /// needed as decoration
 134         LM_Vert,
 135         LM_updownarrow,
 136         LM_Updownarrow,
 137
 138 /// decorations
 139         LM_widehat,
 140         LM_widetilde,
 141         LM_underline,
 142         LM_overline,
 143         LM_underbrace,
 144         LM_overbrace,
 145         LM_overleftarrow,
 146         LM_overightarrow,
 147
 148 /// dots
 149         LM_ldots,
 150         LM_cdots,
 151         LM_vdots,
 152         LM_ddots,
 153         LM_emptyset,
 154
 155 /// Accents that don't exist in X11 symbol font
 156         LM_ddot,
 157         LM_check,
 158         LM_vec,
 159         LM_breve
 160
 161 };
 162
 163
 164 #endif