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_acute          = '\'',
  11         LM_grave          =  '`',
  12         LM_hat            = '^',
  13         LM_tilde          = '~',
  14         LM_dot            = '.',
  15         LM_bar            = '-',
  16
  17 /// Symbols that don't exist in X11 symbol font but that we fake
  18         LM_not            = 10,
  19
  20 // Symbols that do exist in X11 symbol font
  21         LM_Gamma          = 0x47,
  22         LM_Delta          = 0x44,
  23         LM_Theta          = 0x51,
  24         LM_Lambda         = 0x4c,
  25         LM_Xi             = 0x58,
  26         LM_Pi             = 0x50,
  27         LM_Sigma          = 0x53,
  28         //LM_Upsilon      = 0x55,
  29         LM_Upsilon        = 0xa1,
  30         LM_Phi            = 0x46,
  31         LM_Psi            = 0x59,
  32         LM_Omega          = 0x57,
  33         LM_alpha          = 0x61,
  34         LM_beta           = 0x62,
  35         LM_gamma          = 0x67,
  36         LM_delta          = 0x64,
  37         LM_varepsilon     = 0x65,
  38         LM_eta            = 0x68,
  39         LM_theta          = 0x71,
  40         LM_vartheta       = 0x4a,
  41         LM_iota           = 0x69,
  42         LM_kappa          = 0x6b,
  43         LM_lambda         = 0x6c,
  44         LM_mu             = 0x6d,
  45         LM_nu             = 0x6e,
  46         LM_xi             = 0x78,
  47         LM_pi             = 0x70,
  48         LM_varpi          = 0x76,
  49         LM_rho            = 0x72,
  50         LM_sigma          = 0x73,
  51         LM_tau            = 0x74,
  52         LM_varsigma       = 0x56,
  53         LM_zeta           = 0x7a,
  54         LM_upsilon        = 0x75,
  55         LM_phi            = 0x66,
  56         LM_varphi         = 0x6a,
  57         LM_chi            = 0x63,
  58         LM_psi            = 0x79,
  59         LM_omega          = 0x77,
  60         LM_downarrow      = 0xaf,
  61         LM_leftarrow      = 0xac,
  62         LM_Downarrow      = 0xdf,
  63         LM_Leftarrow      = 0xdc,
  64         LM_rightarrow     = 0xae,
  65         LM_uparrow        = 0xad,
  66         LM_Rightarrow     = 0xde,
  67         LM_Uparrow        = 0xdd,
  68         LM_Leftrightarrow = 0xdb,
  69         LM_leftrightarrow = 0xab,
  70         LM_leq            = 0xa3,
  71         LM_geq            = 0xb3,
  72         LM_equiv          = 0xba,
  73         LM_subset         = 0xcc,
  74         LM_supset         = 0xc9,
  75         LM_approx         = 0xbb,
  76         LM_subseteq       = 0xcd,
  77         LM_supseteq       = 0xca,
  78         LM_cong           = 0x40,
  79         LM_neq            = 0xb9,
  80         LM_in             = 0xce,
  81         LM_propto         = 0xb5,
  82         LM_pm             = 0xb1,
  83         LM_cap            = 0xc7,
  84         LM_diamond        = 0xe0,
  85         LM_oplus          = 0xc5,
  86         LM_cup            = 0xc8,
  87         LM_times          = 0xb4,
  88         LM_otimes         = 0xc4,
  89         LM_div            = 0xb8,
  90         LM_oslash         = 0xc6,
  91         LM_cdot           = 0xd7,
  92         LM_wedge          = 0xd9,
  93         LM_bullet         = 0xb7,
  94         LM_sum            = 0xe5,
  95         LM_int            = 0xf2,
  96         LM_prod           = 0xd5,
  97         LM_nabla          = 0xd1,
  98         LM_partial        = 0xb6,
  99         LM_infty          = 0xa5,
 100         LM_prime          = 0xa2,
 101         //LM_emptyset     = 0xc6,
 102         LM_exists         = 0x24,
 103         LM_forall         = 0x22,
 104         LM_Re             = 0xc2,
 105         LM_Im             = 0xc1,
 106         LM_aleph          = 0xc0,
 107         LM_wp             = 0xc3,
 108         LM_bot            = 0x5e,
 109         LM_neg            = 0xd8,
 110         LM_sharp          = 0x23,
 111         LM_surd           = 0xd6,
 112         LM_diamondsuit    = 0xa8,
 113         LM_heartsuit      = 0xa9,
 114         LM_clubsuit       = 0xa7,
 115         LM_spadesuit      = 0xaa,
 116         LM_langle         = 0xe1,
 117         LM_lceil          = 0xe9,
 118         LM_lfloor         = 0xeb,
 119         LM_rangle         = 0xf1,
 120         LM_rceil          = 0xf9,
 121         LM_rfloor         = 0xfb,
 122         LM_mid            = 0x7c,
 123         LM_angle          = 0xd0,
 124         LM_vee            = 0xda,
 125         //LM_backslash '\\'
 126
 127 /// Symbols that don't exist in X11 symbol font
 128         LM_NoFont          = 256,
 129         LM_epsilon,
 130         LM_hookleftarrow,
 131         LM_hookrightarrow,
 132         LM_updownarrow,
 133         LM_leftharpoonup,
 134         LM_rightharpoonup,
 135         LM_rightleftharpoons,
 136         LM_Updownarrow,
 137         LM_leftharpoondown,
 138         LM_rightharpoondown,
 139         LM_mapsto,
 140         LM_Longleftarrow,
 141         LM_Longrightarrow,
 142         LM_Longleftrightarrow,
 143         LM_longleftrightarrow,
 144         LM_longleftarrow,
 145         LM_longrightarrow,
 146         LM_longmapsto,
 147         LM_nwarrow,
 148         LM_nearrow,
 149         LM_swarrow,
 150         LM_searrow,
 151         LM_models,
 152         LM_prec,
 153         LM_succ,
 154         LM_sim,
 155         LM_perp,
 156         LM_preceq,
 157         LM_succeq,
 158         LM_simeq,
 159         LM_ll,
 160         LM_gg,
 161         LM_asymp,
 162         LM_parallel,
 163         LM_smile,
 164         LM_frown,
 165         LM_sqsubseteq,
 166         LM_sqsupseteq,
 167         LM_doteq,
 168         LM_ni,
 169         LM_notin,
 170         LM_vdash,
 171         LM_dashv,
 172         LM_bowtie,
 173         LM_mp,
 174         LM_bigtriangleup,
 175         LM_ominus,
 176         LM_uplus,
 177         LM_bigtriangledown,
 178         LM_sqcap,
 179         LM_triangleright,
 180         LM_sqcup,
 181         LM_triangleleft,
 182         LM_odot,
 183         LM_star,
 184         LM_amalg,
 185         LM_bigcirc,
 186         LM_setminus,
 187         LM_dagger,
 188         LM_circ,
 189         LM_wr,
 190         LM_ddagger,
 191         LM_oint,
 192         LM_coprod,
 193         LM_bigsqcup,
 194         LM_bigotimes,
 195         LM_bigodot,
 196         LM_bigoplus,
 197         LM_bigcap,
 198         LM_bigcup,
 199         LM_biguplus,
 200         LM_bigvee,
 201         LM_bigwedge,
 202         LM_ell,
 203         LM_imath,
 204         LM_jmath,
 205         LM_hbar,
 206         LM_top,
 207         LM_Vert,
 208         LM_flat,
 209         LM_natural,
 210         LM_triangle,
 211         LM_widehat,
 212         LM_widetilde,
 213         LM_underline,
 214         LM_overline,
 215         LM_underbrace,
 216         LM_overbrace,
 217         LM_overleftarrow,
 218         LM_overightarrow,
 219         LM_ldots,
 220         LM_cdots,
 221         LM_vdots,
 222         LM_ddots,
 223         LM_backslash,
 224         LM_emptyset,
 225
 226 /// Accents that don't exist in X11 symbol font
 227         LM_ddot,
 228         LM_check,
 229         LM_vec,
 230         LM_breve
 231
 232 };
 233
 234
 235 #endif