From 4a717f506b07e535a539ecb9e67a194d46826179 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 18 Oct 2009 12:14:51 +0000 Subject: [PATCH] Scribble latex render yen sign svn: r16359 original commit: c448874002cf3934b8e6c8868712576c98f743fd --- collects/scribble/latex-render.ss | 1 + collects/scribble/scribble.tex | 1 + 2 files changed, 2 insertions(+) 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}