From 25d5566c58b5e96b0a86cc72ba8b99845ef9b1b7 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 10 Dec 2012 10:20:32 -0700 Subject: [PATCH] scribble: render "incremement" and some other chars for Latex/PDF This change was prompted by the change to DrRacket's "\Delta" to produce the Unicode "increment" character. original commit: fc112ccd4627f0b7413ba17a81d050bb840a79b3 --- collects/mrlib/tex-table.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt index d66f80ff..6a128739 100644 --- a/collects/mrlib/tex-table.rkt +++ b/collects/mrlib/tex-table.rkt @@ -92,7 +92,7 @@ ("Lambda" "Λ") ("Sigma" "Σ") ("Psi" "Ψ") - ("Delta" "Δ") + ("Delta" "Δ") ; <- this character is Unicode "increment", not Greek delta ("Xi" "Ξ") ("Upsilon" "Υ") ("Omega" "Ω")