diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index e7cbfd06..7606eafc 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -768,6 +768,7 @@ [(#\〛) "$]\\!]$"] [(#\↦) "$\\mapsto$"] [(#\⊤) "$\\top$"] + [(#\¥) "{\\textyen}"] [else c]) c)]))) (loop (add1 i))))))) diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index d5caa7ce..89db92aa 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -7,6 +7,7 @@ \usepackage{relsize} \usepackage{wasysym} \usepackage{skull} +\usepackage{textcomp} \usepackage[htt]{hyphenat} \usepackage[usenames,dvipsnames]{color} \hypersetup{bookmarks=true,bookmarksopen=true,bookmarksnumbered=true}