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
 126 /// Symbols that don't exist in X11 symbol font
 127         LM_NoFont          = 256,
 128         LM_perp,
 129         LM_notin,
 130
 131 /// needed as decoration
 132         LM_Vert,
 133         LM_updownarrow,
 134         LM_Updownarrow,
 135
 136 /// decorations
 137         LM_widehat,
 138         LM_widetilde,
 139         LM_underline,
 140         LM_overline,
 141         LM_underbrace,
 142         LM_overbrace,
 143         LM_overleftarrow,
 144         LM_overightarrow,
 145
 146 /// dots
 147         LM_ldots,
 148         LM_cdots,
 149         LM_vdots,
 150         LM_ddots,
 151         LM_emptyset,
 152
 153 /// Accents that don't exist in X11 symbol font
 154         LM_ddot,
 155         LM_check,
 156         LM_vec,
 157         LM_breve
 158
 159 };
 160
 161
 162 #endif