Subversion Repositories wimsdev

Rev

Rev 11736 | Rev 12246 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 11736 Rev 12229
Line 18... Line 18...
18 
 
 18 
 
19 
/* internal variable */
 19 
/* internal variable */
20 
int rawmath_easy=0;
 20 
int rawmath_easy=0;
21 
 
 21 
 
22 
struct hmname hmname[]={
 22 
struct hmname hmname[]={
23 
      {"CC",            "", ""},
 23 
      {"CC",  "", ""},
24 
      {"Delta",         "", ""},
 24 
      {"Delta", "", ""},
25 
      {"Gamma",         "", ""},
 25 
      {"Gamma","", ""},
26 
      {"Inf",           "$(m_infty)","\\infty"},
 26 
      {"Inf",  "$(m_infty)","\\infty"},
27 
      {"Lambda",        "", ""},
 27 
      {"Lambda","", ""},
28 
      {"NN",            "", ""},
 28 
      {"NN",  "", ""},
29 
      {"Omega",         "", ""},
 29 
      {"Omega",  "", ""},
30 
      {"Phi",           "", ""},
 30 
      {"Phi",  "", ""},
31 
      {"Pi",            "", ""},
 31 
      {"Pi",  "", ""},
32 
      {"Psi",           "", ""},
 32 
      {"Psi",  "", ""},
33 
      {"QQ",            "",""},
 33 
      {"QQ",  "",""},
34 
      {"RR",            "",""},
 34 
      {"RR",  "",""},
35 
      {"Sigma",         "",""},
 35 
      {"Sigma",  "",""},
36 
      {"Xi",            "",""},
 36 
      {"Xi",  "",""},
37 
      {"ZZ",            "",""},
 37 
      {"ZZ",  "",""},
38 
      {"alpha",         "", ""},
 38 
      {"alpha",  "", ""},
39 
      {"beta",          "", ""},
 39 
      {"beta",  "", ""},
40 
      {"cap",           "",""},
 40 
      {"cap",  "",""},
41 
      {"chi",           "",""},
 41 
      {"chi",  "",""},
42 
      {"cup",           "",""},
 42 
      {"cup",  "",""},
43 
      {"delta",         "",""},
 43 
      {"delta",  "",""},
44 
      {"div",           "÷", "÷"},
 44 
      {"div",  "÷", "÷"},
45 
      {"divide",        "÷","÷"},
 45 
      {"divide","÷","÷"},
46 
      {"epsilon",       "$(m_varepsilon)","\\varepsilon"},
 46 
      {"epsilon","$(m_varepsilon)","\\varepsilon"},
47 
      {"eta",           "",""},
 47 
      {"eta",  "",""},
48 
      {"exist",         "$(m_exists)","\\exists"},
 48 
      {"exist",  "$(m_exists)","\\exists"},
49 
      {"exists",        "", ""},
 49 
      {"exists","", ""},
50 
      {"forall",        "",""},
 50 
      {"forall","",""},
51 
      {"gamma",         "",""},
 51 
      {"gamma",  "",""},
52 
      {"in",            "",""},
 52 
      {"in",  "",""},
53 
      {"inf",           "$(m_infty)","\\infty"},
 53 
      {"inf",  "$(m_infty)","\\infty"},
54 
      {"infinity",      "$(m_infty)","\\infty"},
 54 
      {"infinity","$(m_infty)","\\infty"},
55 
      {"infty",         "",""},
 55 
      {"infty",  "",""},
56 
      {"intersect",     "$(m_cap)", "\\cap"},
 56 
      {"intersect","$(m_cap)", "\\cap"},
57 
      {"intersection",  "$(m_cap)", "\\cap"},
 57 
      {"intersection","$(m_cap)", "\\cap"},
58 
      {"iota",          "",""},
 58 
      {"iota",  "",""},
59 
      {"kappa",         "",""},
 59 
      {"kappa",  "",""},
60 
      {"lambda",        "", ""},
 60 
      {"lambda","", ""},
61 
      {"mu",            "",""},
 61 
      {"mu",  "",""},
62 
      {"nabla",         "",""},
 62 
      {"nabla",  "",""},
63 
      {"neq",           "",""},
 63 
      {"neq",  "",""},
64 
      {"nu",            "",""},
 64 
      {"nu",  "",""},
65 
      {"omega",         "",""},
 65 
      {"omega",  "",""},
66 
      {"pi",            "",""},
 66 
      {"pi",  "",""},
67 
      {"pm",            "",""},
 67 
      {"pm",  "",""},
68 
      {"psi",           "",""},
 68 
      {"psi",  "",""},
69 
      {"rho",           "",""},
 69 
      {"rho",  "",""},
70 
      {"sigma",         "",""},
 70 
      {"sigma",  "",""},
71 
      {"subset",        "", ""},
 71 
      {"subset","", ""},
72 
      {"subseteq",      "",""},
 72 
      {"subseteq","",""},
73 
      {"tau",           "",""},
 73 
      {"tau",  "",""},
74 
      {"theta",         "",""},
 74 
      {"theta",  "",""},
75 
      {"times",         "×", "\\times"},
 75 
      {"times",  "×", "\\times"},
76 
      {"union",         "$(m_cup)", "\\cup"},
 76 
      {"union",  "$(m_cup)", "\\cup"},
77 
      {"varepsilon",    "",""},
 77 
      {"varepsilon","",""},
78 
      {"varphi",        "", ""},
 78 
      {"varphi","", ""},
79 
      {"x",             "","x"},
 79 
      {"x",  "","x"},
80 
      {"xi",    "",""},
 80 
      {"xi","",""},
81 
      {"y",             "","y"},
 81 
      {"y",  "","y"},
82 
      {"z",             "","z"},
 82 
      {"z",  "","z"},
83 
      {"zeta",  "",""},
 83 
      {"zeta","",""},
84 
};
 84 
};
85 
int hmname_no=(sizeof(hmname)/sizeof(hmname[0]));
 85 
int hmname_no=(sizeof(hmname)/sizeof(hmname[0]));
86 
 
 86 
 
87 
enum {RM_UNKNOWN, RM_FN, RM_VAR, RM_PREFIX};
 87 
enum {RM_UNKNOWN, RM_FN, RM_VAR, RM_PREFIX};
88 
 
 88