1:- module(tex_symbol, []).    2:- encoding(utf8).
    3
    4logical_connective(to, (-->)).
    5logical_connective(to, (->)).
    6logical_connective(forall, all).
    7logical_connective(forall, forall).
    8logical_connective(forall, every).
    9logical_connective(exists, some).
   10logical_connective(exists, exists).
   11logical_connective(land, '*').
   12logical_connective(land, ',').
   13logical_connective(lor, ';').
   14logical_connective(lor, '+').
   15logical_connective(iff, '<-->').
   16logical_connective(iff, '<->').
   17logical_connective(iff, '<==>').
   18logical_connective(iff, '<=>').
   19logical_connective(equiv, '<-->').
   20logical_connective(equiv, '<->').
   21logical_connective(vdash, '|-').
   22logical_connective(mid, ('|')).
   23logical_connective(neg, ('-')).
   24logical_connective(neg, ('~')).
   25
   26
   27% %%
   28% ts_atom(in, '∈').
   29% ts_atom(subseteq, '⊆').
   30% ts_atom(neg, '¬').
   31% ts_atom(ne, '≠').
   32% ts_atom(not, '¬').
   33% ts_atom(alpha, 'α').
   34% ts_atom(beta, 'β').
   35% ts_atom(sigma, 'σ').
   36% ts_atom('Sigma', 'Σ').
   37% ts_atom(cup, '∪').
   38% ts_atom(cap, '∩').
   39% ts_atom('Gamma', 'Γ').
   40% ts_atom(gamma, 'γ').
   41% ts_atom('Psi', 'Ψ').
   42% ts_atom(psi, 'ψ').
   43% ts_atom('Omega', 'Ω').
   44% ts_atom(omega, 'ω').
   45% ts_atom('Delta', 'Δ').
   46% ts_atom(delta, 'δ').
   47% ts_atom(varepsilon, 'ε').
   48% ts_atom(emptyset, 'φ').
   49% ts_atom('Phi', 'Φ').
   50% ts_atom(phi, φ).
   51% ts_atom('Lambda', 'Λ').
   52% ts_atom(lambda, 'λ').
   53% ts_atom('Pi', 'Π').
   54% ts_atom(pi, 'π').
   55% ts_atom(iota, 'ι').
   56% ts_atom(eta, 'η').
   57% ts_atom(kappa, 'κ').
   58% ts_atom(sim, '〜').
   59% ts_atom(times, '×').
   60% ts_atom('To', '⇒').
   61% ts_atom(to, '→').
   62% ts_atom(to, (-->)).
   63% ts_atom(to, (->)).
   64% ts_atom(forall, '∀').
   65% ts_atom(exists, '∃').
   66% ts_atom(land, '∧').
   67% ts_atom(lor, '∨').
   68% ts_atom(iff, '⇔').
   69% ts_atom(equiv, '≡').
   70% ts_atom(vdash, '|-').
   71% ts_atom(mid, ('|')).
   72% ts_atom(bot, '⊥').
   73% ts_atom(xi, 'ξ').
   74% ts_atom('Xi', 'Ξ').
   75% ts_atom(because, '∵').
   76% ts_atom(therefore, '∴').
   77% ts_atom(aleph, 'ℵ').
   78% ts_atom(otimes, '⊗').
   79% ts_atom(oplus, '⊕').
   80% ts_atom(infty, '∞').
   81% ts_atom(cong, '≅').
   82% ts_atom(simeq, '≃').
   83% ts_atom(partial, '∂').
   84
   85
   86% %%%%%
   87% punct("．") --> "。".
   88% punct("，") --> "、".
   89% punct(" ") --> "　".
   90
   91% %%%%%%
   92% punct_opp("。") --> "．".
   93% punct_opp("、") --> "，".
   94
   95% %%%%%%
   96% dcg_st("\\in") --> "∈".
   97% dcg_st("\\subseteq") --> "⊆".
   98% dcg_st("\\neg") --> "¬".
   99% dcg_st("\\neg") --> "¬".
  100% dcg_st("\\ne") --> "≠".
  101% dcg_st("\\alpha") --> "α".
  102% dcg_st("\\beta") --> "β".
  103% dcg_st("\\sigma") --> "σ".
  104% dcg_st("\\Sigma") --> "Σ".
  105% dcg_st("\\cup") --> "∪".
  106% dcg_st("\\cap") --> "∩".
  107% dcg_st("\\Gamma") --> "Γ".
  108% dcg_st("\\gamma") --> "γ".
  109% dcg_st("\\Psi") --> "Ψ".
  110% dcg_st("\\psi") --> "ψ".
  111% dcg_st("\\Omega") --> "Ω".
  112% dcg_st("\\omega") --> "ω".
  113% dcg_st("\\Delta") --> "Δ".
  114% dcg_st("\\delta") --> "δ".
  115% dcg_st("\\varepsilon") --> "ε".
  116% dcg_st("\\emptyset") --> "φ".
  117% dcg_st("\\Phi") --> "Φ".
  118% dcg_st("\\phi") --> "φ".
  119% dcg_st("\\Lambda") --> "Λ".
  120% dcg_st("\\lambda") --> "λ".
  121% dcg_st("\\Pi") --> "Π".
  122% dcg_st("\\pi") --> "π".
  123% dcg_st("\\iota") --> "ι".
  124% dcg_st("\\eta") --> "η".
  125% dcg_st("\\kappa") --> "κ".
  126% dcg_st("\\sim") --> "〜".
  127% dcg_st("\\times") --> "×".
  128% dcg_st("\\To") --> "⇒".
  129% dcg_st("\\to") --> "→".
  130% dcg_st("\\to") --> "-->".
  131% dcg_st("\\to") --> "->".
  132% dcg_st("\\forall") --> "∀".
  133% dcg_st("\\exists") --> "∃".
  134% dcg_st("\\land") --> "∧".
  135% dcg_st("\\lor") --> "∨".
  136% dcg_st("\\iff") --> "⇔".
  137% dcg_st("\\equiv") --> "≡".
  138% dcg_st("\\vdash") --> "|-".
  139% dcg_st("\\mid") --> "|".
  140% dcg_st("\\bot") --> "⊥".
  141% dcg_st("\\because") --> "∵".
  142% dcg_st("\\aleph") --> "ℵ".
  143% dcg_st("\\partial") --> "∂".
  144% dcg_st("\\xi") --> "ξ".
  145% dcg_st("\\Xi") --> "Ξ".
  146
  147% %%%%%%%%%% TeX ==> Japanese Kanji
  148% dcg_ts("∵") --> "\\because".
  149% dcg_ts("∈") --> "\\in".
  150% dcg_ts("⊆") --> "\\subseteq".
  151% dcg_ts("¬") --> "\\neg".
  152% dcg_ts("¬") --> "\\not".
  153% dcg_ts("≠") --> "\\ne".
  154% dcg_ts("α") --> "\\alpha".
  155% dcg_ts("β") --> "\\beta".
  156% dcg_ts("σ") --> "\\sigma".
  157% dcg_ts("Σ") --> "\\Sigma".
  158% dcg_ts("∪") --> "\\cup".
  159% dcg_ts("∩") --> "\\cap".
  160% dcg_ts("Γ") --> "\\Gamma".
  161% dcg_ts("γ") --> "\\gamma".
  162% dcg_ts("Ψ") --> "\\Psi".
  163% dcg_ts("ψ") --> "\\psi".
  164% dcg_ts("Ω") --> "\\Omega".
  165% dcg_ts("ω") --> "\\omega".
  166% dcg_ts("Δ") --> "\\Delta".
  167% dcg_ts("δ") --> "\\delta".
  168% dcg_ts("ε") --> "\\varepsilon".
  169% dcg_ts("φ") --> "\\emptyset".
  170% dcg_ts("Φ") --> "\\Phi".
  171% dcg_ts("φ") --> "\\phi".
  172% dcg_ts("Λ") --> "\\Lambda".
  173% dcg_ts("λ") --> "\\lambda".
  174% dcg_ts("Π") --> "\\Pi".
  175% dcg_ts("π") --> "\\pi".
  176% dcg_ts("ι") --> "\\iota".
  177% dcg_ts("η") --> "\\eta".
  178% dcg_ts("κ") --> "\\kappa".
  179% dcg_ts("〜") --> "\\sim".
  180% dcg_ts("×") --> "\\times".
  181% dcg_ts("→") --> "\\to".
  182% dcg_ts("-->") --> "\\to".
  183% dcg_ts("->") --> "\\to".
  184% dcg_ts("∀") --> "\\forall".
  185% dcg_ts("∃") --> "\\exists".
  186% dcg_ts("∧") --> "\\land".
  187% dcg_ts("∨") --> "\\lor".
  188% dcg_ts("⇔") --> "\\iff".
  189% dcg_ts("⇒") --> "\\To".
  190% dcg_ts("≡") --> "\\equiv".
  191% dcg_ts("|-") --> "\\vdash".
  192% dcg_ts("|") --> "\\mid".
  193% dcg_ts("⊥") --> "\\bot".
  194% dcg_ts("ℵ") --> "\\aleph".
  195% dcg_ts("∂") --> "\\partial".
  196% dcg_ts("≃") --> "\\simeq".
  197% dcg_ts("≅") --> "\\cong".
  198% dcg_ts("ξ")--> "\\xi".
  199% dcg_ts("Ξ")--> "\\Xi".