: Convert TeX symbols to HTML Entities that look similar
# Some TeX symbols have no HTML entity and are mapped to ascii words
sed '/^\.As_is/bignore
s/\\TeX/\Τ\Ε<\/sub>\Χ/g
s/\\alpha/\α/g
s/\\nexists/ no /g
s/\\neg/ not /g
s/\\neq/\≠/g
s/\\beta/\β/g
s/\\gamma/\γ/g
s/\\delta/\δ/g
s/\\epsilon/\ε/g
s/\\zeta/\ζ/g
s/\\eta/\η/g
s/\\vartheta/\ϑ/g
s/\\theta/\θ/g
s/\\iota/\ι/g
s/\\kappa/\κ/g
s/\\lambda/\λ/g
s/\\mu/\μ/g
s/\\nu/\ν/g
s/\\xi/\ξ/g
s/\\varpi/\ϖ/g
s/\\pi/\π/g
s/\\varsigma/\ς/g
s/\\sigma/\σ/g
s/\\tau/\τ/g
s/\\upsilon/\υ/g
s/\\phi/\φ/g
s/\\chi/\χ/g
s/\\omega/\ω/g
s/\\Alpha/\Α/g
s/\\Beta/\Β/g
s/\\Gamma/\Γ/g
s/\\Delta/\Δ/g
s/\\Epsilon/\Ε/g
s/\\Zeta/\Ζ/g
s/\\Theta/\Θ/g
s/\\Iota/\Ι/g
s/\\Kappa/\Κ/g
s/\\Lambda/\Λ/g
s/\\Mu/\Μ/g
s/\\Nu/\Ν/g
s/\\Xi/\Ξ/g
s/\\Pi/\Π/g
s/\\Sigma/\Σ/g
s/\\Tau/\Τ/g
s/\\Upsilon/\Υ/g
s/\\Phi/\Φ/g
s/\\Chi/\Χ/g
s/\\Psi/\Ψ/g
s/\\Omega/\Ω/g
s/\\bullet/\•/g
s/\\prime/\′/g
s/\\Im/\ℑ/g
s/\\Re/\ℜ/g
s/\\aleph/\ℵ/g
s/\\leftarrow/\←/g
s/\\uparrow/\↑/g
s/\\rightarrow/\→/g
s/\\downarrow/\↓/g
s/\\leftrightarrow/\↔/g
s/\\Leftarrow/\⇐/g
s/\\Uparrow/\⇑/g
s/\\Rightarrow/\⇒/g
s/\\Downarrow/\⇓/g
s/\\Leftrightarrow/\⇔/g
s/\\diamondsuit/\◊/g
s/\\spadesuit/\♠/g
s/\\clubsuit/\♣/g
s/\\emptyset/\∅/g
s/\\propto/\∝/g
s/\\infty/\∞/g
s/\\angle/\∠/g
s/\\nabla/\∇/g
s/\\wedge/\∧/g
s/\\equiv/\≡/g
s/\\partial/\∂/g
s/\\forall/\∀/g
s/\\exists/\∃/g
s/\\approx/\≈/g
s/\\langle/\〈/g
s/\\rangle/\〉/g
s/\\subseteq/\⊆/g
s/\\supseteq/\⊇/g
s/\\not\\subset/\⊄/g
s/\\subset/\⊂/g
s/\\supset/\⊃/g
s/\\land/\∧/g
s/\\oplus/\⊕/g
s/\\otimes/\⊗/g
s/\\prod/\∏/g
s/\\surd/\√/g
s/\\cong/\≅/g
s/\\gets/\←/g
s/\\sum/\∑/g
s/\\bot/\⊥/g
s/\\lor/\∨/g
s/\\vee/\∨/g
s/\\cap/\∩/g
s/\\cup/\∪/g
s/\\int/\∫/g
s/\\leq/\≤/g
s/\\geq/\≥/g
s/\\ge/\≥/g
s/\\le/\≤/g
s/\\nexists/not \&exists;/g
s/\\neg/\&neg;/g
s/\\neq/\≠/g
s/\\ne/\≠/g
s/\&neg;/ not /g
s/\\wp/\℘/g
s/\\to/\→/g
s/\\in/\∈/g
s/\\ni/\∋/g
s/\\o/\ο/g
:ignore'