visual support for \therefore, \sim and \textdegree

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@2564 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/mathed/math_hash.C b/src/mathed/math_hash.C
index afba73cbdf62f758707523dd11c64353bc56aef0..65a59112dea4a3bbb895f77ffc50d39bb623d6d1 100644 (file)
--- a/src/mathed/math_hash.C
+++ b/src/mathed/math_hash.C
@@ -244,7 +244,7 @@ latexkeys wordlist[] =
        {"setminus",  LM_TK_NOGLYPH, 0, LMB_OPERATOR},
        {"sharp",  LM_TK_SYM, LM_sharp, LMB_NONE},
        {"sigma",  LM_TK_SYM, LM_sigma, LMB_NONE},
-       {"sim",  LM_TK_NOGLYPH, 0, LMB_RELATION},
+       {"sim",  LM_TK_SYM, LM_sim, LMB_RELATION},
        {"simeq",  LM_TK_NOGLYPH, 0, LMB_RELATION},
        {"sin",  LM_TK_FUNC, 0, LMB_NONE},
        {"sinh",  LM_TK_FUNC, 0, LMB_NONE},
@@ -271,7 +271,9 @@ latexkeys wordlist[] =
        {"tanh",  LM_TK_FUNC, 0, LMB_NONE},
        {"tau",  LM_TK_SYM, LM_tau, LMB_NONE},
        {"textrm",  LM_TK_FONT, LM_TC_TEXTRM, LMB_NONE},
+       {"textdegree",  LM_TK_SYM, LM_textdegree, LMB_NONE},
        //{"textstyle",  LM_TK_STY, LM_ST_TEXT, LMB_NONE},
+       {"therefore",  LM_TK_SYM, LM_therefore, LMB_NONE},
        {"theta",  LM_TK_SYM, LM_theta, LMB_NONE},
        {"tilde",  LM_TK_DECORATION, LM_tilde, LMB_NONE},
        {"times",  LM_TK_SYM, LM_times, LMB_OPERATOR},

diff --git a/src/mathed/symbol_def.h b/src/mathed/symbol_def.h
index eefdee1e8b7adcc095371bf3651fc01433d13a29..7ca291c039518ae86144f0934a2edd0160ea761e 100644 (file)
--- a/src/mathed/symbol_def.h
+++ b/src/mathed/symbol_def.h
@@ -19,111 +19,114 @@ enum Math_Symbols_enum {
        LM_not            = 10,
 
 // Symbols that do exist in X11 symbol font
-       LM_Gamma          = 0x47,
+       LM_forall         = 0x22,
+       LM_sharp          = 0x23,
+       LM_exists         = 0x24,
+       LM_ni             = 0x27,
+       LM_cong           = 0x40,
        LM_Delta          = 0x44,
-       LM_Theta          = 0x51,
+       LM_Phi            = 0x46,
+       LM_Gamma          = 0x47,
+       LM_vartheta       = 0x4a,
        LM_Lambda         = 0x4c,
-       LM_Xi             = 0x58,
        LM_Pi             = 0x50,
+       LM_Theta          = 0x51,
        LM_Sigma          = 0x53,
        //LM_Upsilon      = 0x55,
-       LM_Upsilon        = 0xa1,
-       LM_Phi            = 0x46,
-       LM_Psi            = 0x59,
+       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_gamma          = 0x67,
+       LM_chi            = 0x63,
        LM_delta          = 0x64,
        LM_varepsilon     = 0x65,
+       LM_phi            = 0x66,
+       LM_gamma          = 0x67,
        LM_eta            = 0x68,
-       LM_theta          = 0x71,
-       LM_vartheta       = 0x4a,
        LM_iota           = 0x69,
+       LM_varphi         = 0x6a,
        LM_kappa          = 0x6b,
        LM_lambda         = 0x6c,
        LM_mu             = 0x6d,
        LM_nu             = 0x6e,
-       LM_xi             = 0x78,
        LM_pi             = 0x70,
-       LM_varpi          = 0x76,
+       LM_theta          = 0x71,
        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_varpi          = 0x76,
        LM_omega          = 0x77,
-       LM_downarrow      = 0xaf,
+       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_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_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_subset         = 0xcc,
-       LM_supset         = 0xc9,
        LM_approx         = 0xbb,
-       LM_subseteq       = 0xcd,
-       LM_supseteq       = 0xca,
-       LM_cong           = 0x40,
-       LM_neq            = 0xb9,
-       LM_in             = 0xce,
-       LM_ni             = 0x27,
-       LM_propto         = 0xb5,
-       LM_pm             = 0xb1,
-       LM_cap            = 0xc7,
-       LM_diamond        = 0xe0,
-       LM_oplus          = 0xc5,
-       LM_cup            = 0xc8,
-       LM_times          = 0xb4,
+       LM_aleph          = 0xc0,
+       LM_Im             = 0xc1,
+       LM_Re             = 0xc2,
+       LM_wp             = 0xc3,
        LM_otimes         = 0xc4,
-       LM_div            = 0xb8,
+       LM_oplus          = 0xc5,
+       //LM_emptyset     = 0xc6,
        LM_oslash         = 0xc6,
-       LM_cdot           = 0xd7,
-       LM_wedge          = 0xd9,
-       LM_bullet         = 0xb7,
-       LM_sum            = 0xe5,
-       LM_int            = 0xf2,
-       LM_prod           = 0xd5,
+       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_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_prod           = 0xd5,
        LM_surd           = 0xd6,
-       LM_diamondsuit    = 0xa8,
-       LM_heartsuit      = 0xa9,
-       LM_clubsuit       = 0xa7,
-       LM_spadesuit      = 0xaa,
+       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,
+       LM_int            = 0xf2,
        LM_rceil          = 0xf9,
        LM_rfloor         = 0xfb,
-       LM_mid            = 0x7c,
-       LM_angle          = 0xd0,
-       LM_vee            = 0xda,
                
 /// Symbols that don't exist in X11 symbol font
        LM_NoFont          = 256,