Subversion Repositories wimsdev

Rev

Rev 5465 | Blame | Last modification | View Log | RSS feed

  1. struct {
  2.     char *name;
  3.     char *replace;
  4.     char *replacem;
  5. } hmname[]={
  6.       {"CC",            "", ""},
  7.       {"Delta",         "", ""},
  8.       {"Gamma",         "", ""},
  9.       {"Inf",           "$(m_infty)","\\infty"},
  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",         "",""},
  27.       {"div",           "÷", "÷"},
  28.       {"divide",        "÷","÷"},
  29.       {"epsilon",       "$(m_varepsilon)","\\varepsilon"},
  30.       {"eta",           "",""},
  31.       {"exist",         "$(m_exists)","\\exists"},
  32.       {"exists",        "", ""},
  33.       {"forall",        "",""},
  34.       {"gamma",         "",""},
  35.       {"in",            "",""},
  36.       {"inf",           "$(m_infty)","\\infty"},
  37.       {"infinity",      "$(m_infty)","\\infty"},
  38.       {"infty",         "",""},
  39.       {"intersect",     "$(m_cap)", "\\cap"},
  40.       {"intersection",  "$(m_cap)", "\\cap"},
  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",         "",""},
  58.       {"times",         "×", "\\times"},
  59.       {"union",         "$(m_cup)", "\\cup"},
  60.       {"varepsilon",    "",""},
  61.       {"varphi",        "", ""},
  62.       {"x",             "","x"},
  63.       {"xi",    "",""},
  64.       {"y",             "","y"},
  65.       {"z",             "","z"},
  66.       {"zeta",  "",""},
  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.  
  72.