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, '≅'