commit 08270b7361eb8448fdbb9b9182460f0bb728012d
parent 12312db8d84ce3762de4f0d4320ea079a975931e
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 2 Apr 2008 15:30:34 +0000
angle brackets in Scribble output
svn: r9138
original commit: 89d9e02cd05bcfa961268fe5fde6916e7c55154c
Diffstat:
3 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/collects/scribble/bnf.ss b/collects/scribble/bnf.ss
@@ -50,9 +50,9 @@
(define BNF-etc "...")
(define/kw (nonterm #:body s)
- (make-element #f (append (list "<")
+ (make-element #f (append (list 'lsaquo)
(list (make-element 'italic (decode-content s)))
- (list ">"))))
+ (list 'rsaquo))))
(define/kw (optional #:body s)
(make-element #f (append (list "[") (decode-content s) (list "]"))))
diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss
@@ -317,6 +317,8 @@
[(rarr) "$\\rightarrow$"]
[(alpha) "$\\alpha$"]
[(infin) "$\\infty$"]
+ [(lsaquo) "$\\langle$"]
+ [(rsaquo) "$\\rangle$"]
[else (error 'render "unknown symbol element: ~e" i)]))]
[else (display-protected (format "~s" i))])
null)
diff --git a/collects/scribble/text-render.ss b/collects/scribble/text-render.ss
@@ -89,7 +89,8 @@
[(ndash) "\U2013"]
[(ldquo) "\U201C"]
[(rdquo) "\U201D"]
- [(rsquo) "\U2019"]
+ [(lsaquo) ">"]
+ [(rsaquo) "<"]
[(rarr) "->"]
[(nbsp) " "]
[else (error 'text-render "unknown element symbol: ~e" i)]))]