From 4fadca633fca2e7d55c31e4a3e6f127538de63d8 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.

original commit: fc112ccd4627f0b7413ba17a81d050bb840a79b3
---
 collects/scribble/latex-render.rkt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt
index 03efbb2e..49fc1e27 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$"]