From 46e637d019b22985c2c352781e333c9a8e8b030e Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 19 Mar 2015 12:43:06 -0600
Subject: [PATCH] more Unicode->Latex conversions

Latex output now depends on the "mathabx" package.
---
 scribble-lib/scribble/latex-render.rkt | 6 ++++--
 scribble-lib/scribble/scribble.tex     | 3 +++
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt
index bd2dd770..bc6f66dc 100644
--- a/scribble-lib/scribble/latex-render.rkt
+++ b/scribble-lib/scribble/latex-render.rkt
@@ -1009,8 +1009,8 @@
                             [(#\”) "{''}"]
                             [(#\u2013) "{--}"]
                             [(#\u2014) "{---}"]
-                            [(#\〈) "$\\langle$"]
-                            [(#\〉) "$\\rangle$"]
+                            [(#\⟨ #\〈) "$\\langle$"] ; [MATHEMATICAL] LEFT ANGLE BRACKET
+                            [(#\⟩ #\〉) "$\\rangle$"] ; [MATHEMATICAL] RIGHT ANGLE BRACKET
                             [(#\∞) "$\\infty$"]
                             [(#\⇓) "$\\Downarrow$"]
                             [(#\↖) "$\\nwarrow$"]
@@ -1168,6 +1168,8 @@
                             [(#\u2079) "$^9$"]
                             [(#\u207a) "$^+$"]
                             [(#\u207b) "$^-$"]
+                            [(#\⋖) "$\\precdot$"]
+                            [(#\⋗) "$\\succdot$"]
                             [(#\⋮) "\\vdots"]
                             [(#\⋱) "$\\ddots$"]
                             [(#\⋯) "$\\cdots$"]
diff --git a/scribble-lib/scribble/scribble.tex b/scribble-lib/scribble/scribble.tex
index f29ddfcc..a5d8f774 100644
--- a/scribble-lib/scribble/scribble.tex
+++ b/scribble-lib/scribble/scribble.tex
@@ -4,6 +4,9 @@
 \usepackage{hyperref}
 \renewcommand{\rmdefault}{ptm}
 \usepackage{relsize}
+\usepackage{mathabx}
+% Avoid conflicts between "mathabx" and "wasysym":
+\let\leftmoon\relax \let\rightmoon\relax \let\fullmoon\relax \let\newmoon\relax \let\diameter\relax
 \usepackage{wasysym}
 \usepackage{textcomp}
 \usepackage{framed}