From 42555c7be7e40d0cbed807cbb80eec1fd1f04419 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 1 Oct 2009 16:14:40 +0000 Subject: [PATCH] Scribble: another Unicode character in Latex back-end svn: r16198 --- collects/scribble/latex-render.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index 6744d24316..e7cbfd065d 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -669,6 +669,7 @@ [(#\ν) "$\\nu$"] [(#\ω) "$\\omega$"] [(#\η) "$\\eta$"] + [(#\ι) "$\\iota$"] [(#\ξ) "$\\xi$"] [(#\Γ) "$\\Gamma$"] [(#\Ψ) "$\\Psi$"]