Subversion Repositories wimsdev

Rev

Details | Last modification | View Log | RSS feed

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