2001-02-16 09:25:43 +00:00
|
|
|
// This -*- C++ -*- file was created automatically.
|
|
|
|
// Don't change it! [asierra18jan96]
|
2001-07-13 09:10:59 +00:00
|
|
|
// Why? [andre]
|
1999-09-27 18:44:28 +00:00
|
|
|
|
1999-11-15 11:06:41 +00:00
|
|
|
#ifndef SYMBOL_DEF
|
|
|
|
#define SYMBOL_DEF
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2001-07-13 09:10:59 +00:00
|
|
|
enum Math_Symbols_enum {
|
|
|
|
// Accents
|
|
|
|
LM_acute = '\'',
|
|
|
|
LM_grave = '`',
|
|
|
|
LM_hat = '^',
|
|
|
|
LM_tilde = '~',
|
|
|
|
LM_dot = '.',
|
|
|
|
LM_bar = '-',
|
1999-11-20 16:14:02 +00:00
|
|
|
|
2001-07-13 09:10:59 +00:00
|
|
|
/// Symbols that don't exist in X11 symbol font but that we fake
|
|
|
|
LM_not = 10,
|
|
|
|
|
|
|
|
// Symbols that do exist in X11 symbol font
|
|
|
|
LM_Gamma = 0x47,
|
|
|
|
LM_Delta = 0x44,
|
|
|
|
LM_Theta = 0x51,
|
|
|
|
LM_Lambda = 0x4c,
|
|
|
|
LM_Xi = 0x58,
|
|
|
|
LM_Pi = 0x50,
|
|
|
|
LM_Sigma = 0x53,
|
|
|
|
//LM_Upsilon = 0x55,
|
|
|
|
LM_Upsilon = 0xa1,
|
|
|
|
LM_Phi = 0x46,
|
|
|
|
LM_Psi = 0x59,
|
|
|
|
LM_Omega = 0x57,
|
|
|
|
LM_alpha = 0x61,
|
|
|
|
LM_beta = 0x62,
|
|
|
|
LM_gamma = 0x67,
|
|
|
|
LM_delta = 0x64,
|
|
|
|
LM_varepsilon = 0x65,
|
|
|
|
LM_eta = 0x68,
|
|
|
|
LM_theta = 0x71,
|
|
|
|
LM_vartheta = 0x4a,
|
|
|
|
LM_iota = 0x69,
|
|
|
|
LM_kappa = 0x6b,
|
|
|
|
LM_lambda = 0x6c,
|
|
|
|
LM_mu = 0x6d,
|
|
|
|
LM_nu = 0x6e,
|
|
|
|
LM_xi = 0x78,
|
|
|
|
LM_pi = 0x70,
|
|
|
|
LM_varpi = 0x76,
|
|
|
|
LM_rho = 0x72,
|
|
|
|
LM_sigma = 0x73,
|
|
|
|
LM_tau = 0x74,
|
|
|
|
LM_varsigma = 0x56,
|
|
|
|
LM_zeta = 0x7a,
|
|
|
|
LM_upsilon = 0x75,
|
|
|
|
LM_phi = 0x66,
|
|
|
|
LM_varphi = 0x6a,
|
|
|
|
LM_chi = 0x63,
|
|
|
|
LM_psi = 0x79,
|
|
|
|
LM_omega = 0x77,
|
|
|
|
LM_downarrow = 0xaf,
|
|
|
|
LM_leftarrow = 0xac,
|
|
|
|
LM_Downarrow = 0xdf,
|
|
|
|
LM_Leftarrow = 0xdc,
|
|
|
|
LM_rightarrow = 0xae,
|
|
|
|
LM_uparrow = 0xad,
|
|
|
|
LM_Rightarrow = 0xde,
|
|
|
|
LM_Uparrow = 0xdd,
|
|
|
|
LM_Leftrightarrow = 0xdb,
|
|
|
|
LM_leftrightarrow = 0xab,
|
|
|
|
LM_leq = 0xa3,
|
|
|
|
LM_geq = 0xb3,
|
|
|
|
LM_equiv = 0xba,
|
|
|
|
LM_subset = 0xcc,
|
|
|
|
LM_supset = 0xc9,
|
|
|
|
LM_approx = 0xbb,
|
|
|
|
LM_subseteq = 0xcd,
|
|
|
|
LM_supseteq = 0xca,
|
|
|
|
LM_cong = 0x40,
|
|
|
|
LM_neq = 0xb9,
|
|
|
|
LM_in = 0xce,
|
|
|
|
LM_propto = 0xb5,
|
|
|
|
LM_pm = 0xb1,
|
|
|
|
LM_cap = 0xc7,
|
|
|
|
LM_diamond = 0xe0,
|
|
|
|
LM_oplus = 0xc5,
|
|
|
|
LM_cup = 0xc8,
|
|
|
|
LM_times = 0xb4,
|
|
|
|
LM_otimes = 0xc4,
|
|
|
|
LM_div = 0xb8,
|
|
|
|
LM_oslash = 0xc6,
|
|
|
|
LM_cdot = 0xd7,
|
|
|
|
LM_wedge = 0xd9,
|
|
|
|
LM_bullet = 0xb7,
|
|
|
|
LM_sum = 0xe5,
|
|
|
|
LM_int = 0xf2,
|
|
|
|
LM_prod = 0xd5,
|
|
|
|
LM_nabla = 0xd1,
|
|
|
|
LM_partial = 0xb6,
|
|
|
|
LM_infty = 0xa5,
|
|
|
|
LM_prime = 0xa2,
|
|
|
|
//LM_emptyset = 0xc6,
|
|
|
|
LM_exists = 0x24,
|
|
|
|
LM_forall = 0x22,
|
|
|
|
LM_Re = 0xc2,
|
|
|
|
LM_Im = 0xc1,
|
|
|
|
LM_aleph = 0xc0,
|
|
|
|
LM_wp = 0xc3,
|
|
|
|
LM_bot = 0x5e,
|
|
|
|
LM_neg = 0xd8,
|
|
|
|
LM_sharp = 0x23,
|
|
|
|
LM_surd = 0xd6,
|
|
|
|
LM_diamondsuit = 0xa8,
|
|
|
|
LM_heartsuit = 0xa9,
|
|
|
|
LM_clubsuit = 0xa7,
|
|
|
|
LM_spadesuit = 0xaa,
|
|
|
|
LM_langle = 0xe1,
|
|
|
|
LM_lceil = 0xe9,
|
|
|
|
LM_lfloor = 0xeb,
|
|
|
|
LM_rangle = 0xf1,
|
|
|
|
LM_rceil = 0xf9,
|
|
|
|
LM_rfloor = 0xfb,
|
|
|
|
LM_mid = 0x7c,
|
|
|
|
LM_angle = 0xd0,
|
|
|
|
LM_vee = 0xda,
|
|
|
|
|
2000-08-07 20:58:24 +00:00
|
|
|
/// Symbols that don't exist in X11 symbol font
|
2001-07-13 09:10:59 +00:00
|
|
|
LM_NoFont = 256,
|
2001-02-16 09:25:43 +00:00
|
|
|
LM_perp,
|
|
|
|
LM_notin,
|
2001-08-09 15:19:31 +00:00
|
|
|
|
|
|
|
/// needed as decoration
|
2001-02-16 09:25:43 +00:00
|
|
|
LM_Vert,
|
2001-08-09 15:19:31 +00:00
|
|
|
LM_updownarrow,
|
|
|
|
LM_Updownarrow,
|
|
|
|
|
|
|
|
/// decorations
|
2001-02-16 09:25:43 +00:00
|
|
|
LM_widehat,
|
|
|
|
LM_widetilde,
|
|
|
|
LM_underline,
|
|
|
|
LM_overline,
|
|
|
|
LM_underbrace,
|
|
|
|
LM_overbrace,
|
|
|
|
LM_overleftarrow,
|
|
|
|
LM_overightarrow,
|
2001-08-09 15:19:31 +00:00
|
|
|
|
|
|
|
/// dots
|
2001-02-16 09:25:43 +00:00
|
|
|
LM_ldots,
|
|
|
|
LM_cdots,
|
|
|
|
LM_vdots,
|
|
|
|
LM_ddots,
|
|
|
|
LM_emptyset,
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2001-07-13 09:10:59 +00:00
|
|
|
/// Accents that don't exist in X11 symbol font
|
|
|
|
LM_ddot,
|
2001-02-16 09:25:43 +00:00
|
|
|
LM_check,
|
|
|
|
LM_vec,
|
2001-07-13 09:10:59 +00:00
|
|
|
LM_breve
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|