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