From fc112ccd4627f0b7413ba17a81d050bb840a79b3 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
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.
---
 collects/mrlib/tex-table.rkt       | 2 +-
 collects/scribble/latex-render.rkt | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index d66f80ff82..6a12873918 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" "Ω")
diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt
index 03efbb2eac..49fc1e278c 100644
--- a/collects/scribble/latex-render.rkt
+++ b/collects/scribble/latex-render.rkt
@@ -853,6 +853,12 @@
                             [(#\♭) "$\\flat$"]
                             [(#\♮) "$\\natural$"]
                             [(#\√) "$\\surd$"]
+                            [(#\Δ) "$\\Delta$"] ; no better mapping for than \Delta for "increment"
+                            [(#\u2211) "$\\sum$"] ; better than \Sigma, right?
+                            [(#\u220F) "$\\prod$"] ; better than \Pi, right?
+                            [(#\u2210) "$\\coprod$"]
+                            [(#\u222B) "$\\int$"]
+                            [(#\u222E) "$\\oint$"]
                             [(#\¬) "$\\neg$"]
                             [(#\△) "$\\triangle$"]
                             [(#\∀) "$\\forall$"]