2001-08-17 André Pönitz <poenitz@gmx.net>
* math_hash.C: Use std::map instead of faking it
+
+ * symbol_def.C: remove unneded symbol definitions
2001-09-02 Dekel Tsur <dekelts@tau.ac.il>
};
-int const deco_table_size =
- sizeof(deco_table) / sizeof(deco_struct);
+int const deco_table_size = sizeof(deco_table) / sizeof(deco_struct);
// sort the table on startup
enum Math_Symbols_enum {
// Accents
- LM_backslash = '\\',
LM_acute = '\'',
LM_grave = '`',
LM_hat = '^',
LM_not = 10,
// Symbols that do exist in X11 symbol font
- LM_forall = 0x22,
- LM_sharp = 0x23,
- LM_exists = 0x24,
- LM_ni = 0x27,
- LM_cong = 0x40,
- LM_Delta = 0x44,
- LM_Phi = 0x46,
- LM_Gamma = 0x47,
- LM_vartheta = 0x4a,
- LM_Lambda = 0x4c,
- LM_Pi = 0x50,
- LM_Theta = 0x51,
- LM_Sigma = 0x53,
- //LM_Upsilon = 0x55,
- LM_varsigma = 0x56,
- LM_Omega = 0x57,
- LM_Xi = 0x58,
- LM_Psi = 0x59,
- LM_therefore = 0x5c,
- LM_bot = 0x5e,
- LM_alpha = 0x61,
- LM_beta = 0x62,
- LM_chi = 0x63,
- LM_delta = 0x64,
- LM_varepsilon = 0x65,
- LM_phi = 0x66,
- LM_gamma = 0x67,
- LM_eta = 0x68,
- LM_iota = 0x69,
- LM_varphi = 0x6a,
- LM_kappa = 0x6b,
- LM_lambda = 0x6c,
- LM_mu = 0x6d,
- LM_nu = 0x6e,
- LM_pi = 0x70,
- LM_theta = 0x71,
- LM_rho = 0x72,
- LM_sigma = 0x73,
- LM_tau = 0x74,
- LM_upsilon = 0x75,
- LM_varpi = 0x76,
- LM_omega = 0x77,
- LM_xi = 0x78,
- LM_psi = 0x79,
- LM_zeta = 0x7a,
- LM_mid = 0x7c,
- LM_sim = 0x7e,
- LM_Upsilon = 0xa1,
- LM_prime = 0xa2,
- LM_leq = 0xa3,
- LM_infty = 0xa5,
- LM_clubsuit = 0xa7,
- LM_diamondsuit = 0xa8,
- LM_heartsuit = 0xa9,
- LM_spadesuit = 0xaa,
- LM_leftrightarrow = 0xab,
- LM_leftarrow = 0xac,
LM_uparrow = 0xad,
- LM_rightarrow = 0xae,
LM_downarrow = 0xaf,
- LM_textdegree = 0xb0,
- LM_pm = 0xb1,
- LM_geq = 0xb3,
- LM_times = 0xb4,
- LM_propto = 0xb5,
- LM_partial = 0xb6,
- LM_bullet = 0xb7,
- LM_div = 0xb8,
- LM_neq = 0xb9,
- LM_equiv = 0xba,
- LM_approx = 0xbb,
- LM_aleph = 0xc0,
- LM_Im = 0xc1,
- LM_Re = 0xc2,
- LM_wp = 0xc3,
- LM_otimes = 0xc4,
- LM_oplus = 0xc5,
- //LM_emptyset = 0xc6,
- LM_oslash = 0xc6,
- LM_cap = 0xc7,
- LM_cup = 0xc8,
- LM_supset = 0xc9,
- LM_supseteq = 0xca,
- LM_subset = 0xcc,
- LM_subseteq = 0xcd,
- LM_in = 0xce,
- LM_angle = 0xd0,
- LM_nabla = 0xd1,
- LM_prod = 0xd5,
- LM_surd = 0xd6,
- LM_cdot = 0xd7,
- LM_neg = 0xd8,
- LM_wedge = 0xd9,
- LM_vee = 0xda,
LM_Leftrightarrow = 0xdb,
LM_Leftarrow = 0xdc,
LM_Uparrow = 0xdd,
LM_Rightarrow = 0xde,
LM_Downarrow = 0xdf,
- LM_diamond = 0xe0,
LM_langle = 0xe1,
- LM_sum = 0xe5,
LM_lceil = 0xe9,
LM_lfloor = 0xeb,
LM_rangle = 0xf1,
/// Symbols that don't exist in X11 symbol font
LM_NoFont = 256,
- LM_perp,
- LM_notin,
/// needed as decoration
LM_Vert,
LM_check,
LM_vec,
LM_breve
-
};
-
#endif