more Unicode->Latex conversions

Latex output now depends on the "mathabx" package.

scribble-lib/scribble/latex-render.rkt

@@ -1009,8 +1009,8 @@
                             [(#\”) "{''}"]
                             [(#\u2013) "{--}"]
                             [(#\u2014) "{---}"]
-                            [(#\〈) "$\\langle$"]
+                            [(#\⟨ #\〈) "$\\langle$"] ; [MATHEMATICAL] LEFT ANGLE BRACKET
-                            [(#\〉) "$\\rangle$"]
+                            [(#\⟩ #\〉) "$\\rangle$"] ; [MATHEMATICAL] RIGHT ANGLE BRACKET
                             [(#\∞) "$\\infty$"]
                             [(#\⇓) "$\\Downarrow$"]
                             [(#\↖) "$\\nwarrow$"]
@@ -1168,6 +1168,8 @@
                             [(#\u2079) "$^9$"]
                             [(#\u207a) "$^+$"]
                             [(#\u207b) "$^-$"]
+                            [(#\⋖) "$\\precdot$"]
+                            [(#\⋗) "$\\succdot$"]
                             [(#\⋮) "\\vdots"]
                             [(#\⋱) "$\\ddots$"]
                             [(#\⋯) "$\\cdots$"]

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}