TeX reader: support unicode-math Greek symbols, e.g. \Alpha.

This includes symbols like `\Alpha` and `\omicron` that weren't
defined in original TeX.

Closes #235.

src/Text/TeXMath/Readers/TeX/Commands.hs

@@ -154,7 +154,21 @@ symbolMapOverrides = M.fromList
   , ("\\Box",ESymbol Op "\9633")
   , ("\\Delta",EIdentifier "\916")
   , ("\\Diamond",ESymbol Op "\9671")
+  , ("\\Alpha",EIdentifier "\913")
+  , ("\\Beta",EIdentifier "\914")
   , ("\\Gamma",EIdentifier "\915")
+  , ("\\Epsilon",EIdentifier "\917")
+  , ("\\Zeta",EIdentifier "\918")
+  , ("\\Eta",EIdentifier "\919")
+  , ("\\Iota",EIdentifier "\921")
+  , ("\\Kappa",EIdentifier "\922")
+  , ("\\Mu",EIdentifier "\924")
+  , ("\\Nu",EIdentifier "\925")
+  , ("\\Omicron",EIdentifier "\927")
+  , ("\\omicron",EIdentifier "\959")
+  , ("\\Rho",EIdentifier "\929")
+  , ("\\Tau",EIdentifier "\932")
+  , ("\\Chi",EIdentifier "\935")
   , ("\\Im",ESymbol Ord "\8465")
   , ("\\Join",ESymbol Rel "\8904")
   , ("\\Lambda",EIdentifier "\923")

test/regression/235.test

@@ -0,0 +1,131 @@
+<<< tex
+\Alpha
+\alpha
+\Beta
+\beta
+\Gamma
+\varGamma
+\gamma
+\Delta
+\varDelta
+\delta
+\Epsilon
+\epsilon
+\varepsilon
+\Zeta
+\zeta
+\Eta
+\eta
+\Theta
+\varTheta
+\theta
+\vartheta
+\Iota
+\iota
+\Kappa
+\kappa
+\varkappa
+\Lambda
+\varLambda
+\lambda
+\Mu
+\mu
+\Nu
+\nu
+\Xi
+\varXi
+\xi
+\Omicron
+\omicron
+\Pi
+\varPi
+\pi
+\varpi
+\Rho
+\rho
+\Sigma
+\varSigma
+\sigma
+\Tau
+\tau
+\Upsilon
+\varUpsilon
+\upsilon
+\Phi
+\varPhi
+\phi
+\varphi
+\Chi
+\chi
+\Psi
+\varPsi
+\psi
+\Omega
+\varOmega
+\omega
+>>> native
+[ EIdentifier "\913"
+, EIdentifier "\945"
+, EIdentifier "\914"
+, EIdentifier "\946"
+, EIdentifier "\915"
+, EIdentifier "\120548"
+, EIdentifier "\947"
+, EIdentifier "\916"
+, EIdentifier "\120549"
+, EIdentifier "\948"
+, EIdentifier "\917"
+, EIdentifier "\1013"
+, EIdentifier "\949"
+, EIdentifier "\918"
+, EIdentifier "\950"
+, EIdentifier "\919"
+, EIdentifier "\951"
+, EIdentifier "\920"
+, EIdentifier "\120553"
+, EIdentifier "\952"
+, EIdentifier "\977"
+, EIdentifier "\921"
+, EIdentifier "\953"
+, EIdentifier "\922"
+, EIdentifier "\954"
+, ESymbol Alpha "\120600"
+, EIdentifier "\923"
+, EIdentifier "\120556"
+, EIdentifier "\955"
+, EIdentifier "\924"
+, EIdentifier "\956"
+, EIdentifier "\925"
+, EIdentifier "\957"
+, EIdentifier "\926"
+, EIdentifier "\120559"
+, EIdentifier "\958"
+, EIdentifier "\927"
+, EIdentifier "\959"
+, EIdentifier "\928"
+, EIdentifier "\120561"
+, EIdentifier "\960"
+, ESymbol Alpha "\982"
+, EIdentifier "\929"
+, EIdentifier "\961"
+, EIdentifier "\931"
+, EIdentifier "\120564"
+, EIdentifier "\963"
+, EIdentifier "\932"
+, EIdentifier "\964"
+, EIdentifier "\933"
+, EIdentifier "\120566"
+, EIdentifier "\965"
+, EIdentifier "\934"
+, EIdentifier "\120567"
+, EIdentifier "\981"
+, EIdentifier "\966"
+, EIdentifier "\935"
+, EIdentifier "\967"
+, EIdentifier "\936"
+, EIdentifier "\120569"
+, EIdentifier "\968"
+, EIdentifier "\937"
+, EIdentifier "\120570"
+, EIdentifier "\969"
+]