Subversion Repositories wimsdev

Rev

Rev 5465 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5465 Rev 5503
Line 1... Line 1...
1 
struct {
 1 
struct {
2 
    char *name;
 2 
    char *name;
3 
    char *replace;
 3 
    char *replace;
4 
    char *replacem;
 4 
    char *replacem;
5 
} hmname[]={
 5 
} hmname[]={
6 
      {"CC",            "", "\\CC"},
 6 
      {"CC",            "", ""},
7 
      {"Delta",         "", "\\Delta"},
 7 
      {"Delta",         "", ""},
8 
      {"Gamma",         "", "\\Gamma"},
 8 
      {"Gamma",         "", ""},
9 
      {"Inf",           "$(m_infty)","\\infty"},
 9 
      {"Inf",           "$(m_infty)","\\infty"},
10 
      {"Lambda",        "", "\\Lambda"},
 10 
      {"Lambda",        "", ""},
11 
      {"NN",            "", "\\NN"},
 11 
      {"NN",            "", ""},
12 
      {"Omega",         "", "\\Omega"},
 12 
      {"Omega",         "", ""},
13 
      {"Phi",           "", "\\Phi"},
 13 
      {"Phi",           "", ""},
14 
      {"Pi",            "", "\\Pi"},
 14 
      {"Pi",            "", ""},
15 
      {"Psi",           "", "\\Psi"},
 15 
      {"Psi",           "", ""},
16 
      {"QQ",            "","\\QQ"},
 16 
      {"QQ",            "",""},
17 
      {"RR",            "","\\RR"},
 17 
      {"RR",            "",""},
18 
      {"Sigma",         "","\\Sigma"},
 18 
      {"Sigma",         "",""},
19 
      {"Xi",            "","\\Xi"},
 19 
      {"Xi",            "",""},
20 
      {"ZZ",            "","\\ZZ"},
 20 
      {"ZZ",            "",""},
21 
      {"alpha",         "", "\\alpha"},
 21 
      {"alpha",         "", ""},
22 
      {"beta",          "", "\\beta"},
 22 
      {"beta",          "", ""},
23 
      {"cap",           "","\\cap"},
 23 
      {"cap",           "",""},
24 
      {"chi",           "","\\chi"},
 24 
      {"chi",           "",""},
25 
      {"cup",           "","\\cup"},
 25 
      {"cup",           "",""},
26 
      {"delta",         "","\\delta"},
 26 
      {"delta",         "",""},
27 
      {"div",           "÷", "÷"},
 27 
      {"div",           "÷", "÷"},
28 
      {"divide",        "÷","÷"},
 28 
      {"divide",        "÷","÷"},
29 
      {"epsilon",       "$(m_varepsilon)"},
 29 
      {"epsilon",       "$(m_varepsilon)","\\varepsilon"},
30 
      {"eta",           "","\\eta"},
 30 
      {"eta",           "",""},
31 
      {"exist",         "$(m_exists)","\\exists"},
 31 
      {"exist",         "$(m_exists)","\\exists"},
32 
      {"exists",        "", "\\exists"},
 32 
      {"exists",        "", ""},
33 
      {"forall",        "","\\forall"},
 33 
      {"forall",        "",""},
34 
      {"gamma",         "","\\gamma"},
 34 
      {"gamma",         "",""},
35 
      {"in",            "","\\in"},
 35 
      {"in",            "",""},
36 
      {"inf",           "$(m_infty)","\\infty"},
 36 
      {"inf",           "$(m_infty)","\\infty"},
37 
      {"infinity",      "$(m_infty)","\\infty"},
 37 
      {"infinity",      "$(m_infty)","\\infty"},
38 
      {"infty",         "","\\infty"},
 38 
      {"infty",         "",""},
39 
      {"intersect",     "$(m_cap)", "\\cap"},
 39 
      {"intersect",     "$(m_cap)", "\\cap"},
40 
      {"intersection",  "$(m_cap)", "\\cap"},
 40 
      {"intersection",  "$(m_cap)", "\\cap"},
41 
      {"iota",          "","\\iota"},
 41 
      {"iota",          "",""},
42 
      {"kappa",         "","\\kappa"},
 42 
      {"kappa",         "",""},
43 
      {"lambda",        "", "\\lambda"},
 43 
      {"lambda",        "", ""},
44 
      {"mu",            "","\\mu"},
 44 
      {"mu",            "",""},
45 
      {"nabla",         "","\\nabla"},
 45 
      {"nabla",         "",""},
46 
      {"neq",           "","\\neq"},
 46 
      {"neq",           "",""},
47 
      {"nu",            "","\\nu"},
 47 
      {"nu",            "",""},
48 
      {"omega",         "","\\omega"},
 48 
      {"omega",         "",""},
49 
      {"pi",            "","\\pi"},
 49 
      {"pi",            "",""},
50 
      {"pm",            "","\\pm"},
 50 
      {"pm",            "",""},
51 
      {"psi",           "","\\psi"},
 51 
      {"psi",           "",""},
52 
      {"rho",           "","\\rho"},
 52 
      {"rho",           "",""},
53 
      {"sigma",         "","\\sigma"},
 53 
      {"sigma",         "",""},
54 
/*      {"sqrt",                "$(m_surd)"}, */
 - 
 
55 
      {"subset",        "", "\\subset"},
 54 
      {"subset",        "", ""},
56 
      {"subseteq",      "","\\subseteq"},
 55 
      {"subseteq",      "",""},
57 
      {"tau",           "","\\tau"},
 56 
      {"tau",           "",""},
58 
      {"theta",         "","\\theta"},
 57 
      {"theta",         "",""},
59 
      {"times",         "×", "\\times"},
 58 
      {"times",         "×", "\\times"},
60 
      {"union",         "$(m_cup)", "\\cup"},
 59 
      {"union",         "$(m_cup)", "\\cup"},
61 
      {"varepsilon",    "","\\varepsilon"},
 60 
      {"varepsilon",    "",""},
62 
      {"varphi",        "", "\\varphi"},
 61 
      {"varphi",        "", ""},
63 
      {"x",             "",""},
 62 
      {"x",             "","x"},
64 
      {"xi",    "","\\xi"},
 63 
      {"xi",    "",""},
65 
      {"y",             "",""},
 64 
      {"y",             "","y"},
66 
      {"z",             "",""},
 65 
      {"z",             "","z"},
67 
      {"zeta",  "","\\zeta"},
 66 
      {"zeta",  "",""},
68 
};
 67 
};
69 
#define hmname_no (sizeof(hmname)/sizeof(hmname[0]))
 68 
#define hmname_no (sizeof(hmname)/sizeof(hmname[0]))
70 
 
 69 
 
71 
#define hmsame "\\CC\\Delta\\Gamma\\Lambda\\NN\\Omega\\Phi\\Pi\\Psi\\QQ\\RR\\Sigma\\Xi\\ZZ\\alpha\\beta\\cap\\chi\\cup\\delta\\div\\eta\\exists\\forall\\gamma\\in\\infty\\iota\\kappa\\lambda\\mu\\nabla\\nu\\omega\\pi\\pm\\psi\\rho\\sigma\\subset\\subseteq\\tau\\theta\\times\\varepsilon\\varphi\\xi\\zeta\\"
 70 
#define hmsame "\\CC\\Delta\\Gamma\\Lambda\\NN\\Omega\\Phi\\Pi\\Psi\\QQ\\RR\\Sigma\\Xi\\ZZ\\alpha\\beta\\cap\\chi\\cup\\delta\\div\\eta\\exists\\forall\\gamma\\in\\infty\\iota\\kappa\\lambda\\mu\\nabla\\nu\\omega\\pi\\pm\\psi\\rho\\sigma\\subset\\subseteq\\tau\\theta\\times\\varepsilon\\varphi\\xi\\zeta\\"
72 
 
 71