From 468744bdf592c181eb8ae3de67a291bb6426a065 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 11 Mar 2016 19:27:14 -0600 Subject: [PATCH] add latex equivalent for recently added mrlib/tex-table shortcuts MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit also correct ε to \varepsilon instead of \epsilon --- scribble-lib/scribble/latex-render.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt index de8c4d13..95ddb1fd 100644 --- a/scribble-lib/scribble/latex-render.rkt +++ b/scribble-lib/scribble/latex-render.rkt @@ -1022,6 +1022,7 @@ [(#\u039B) "$\\Lambda$"] [(#\u03BC) "$\\mu$"] [(#\u03C0) "$\\pi$"] + [(#\ϖ) "$\\varpi$"] [(#\‘) "{`}"] [(#\’) "{'}"] [(#\“) "{``}"] @@ -1072,12 +1073,16 @@ [(#\∃) "$\\exists$"] [(#\∘) "$\\circ$"] [(#\θ) "$\\theta$"] + [(#\ϑ) "$\\vartheta$"] [(#\τ) "$\\tau$"] [(#\υ) "$\\upsilon$"] [(#\φ) "$\\phi$"] + [(#\ϕ) "$\\varphi$"] [(#\δ) "$\\delta$"] [(#\ρ) "$\\rho$"] - [(#\ε) "$\\epsilon$"] + [(#\ϱ) "$\\varrho$"] + [(#\ϵ) "$\\epsilon$"] + [(#\ε) "$\\varepsilon$"] [(#\χ) "$\\chi$"] [(#\ψ) "$\\psi$"] [(#\ζ) "$\\zeta$"]