From 08270b7361eb8448fdbb9b9182460f0bb728012d Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 2 Apr 2008 15:30:34 +0000
Subject: [PATCH] angle brackets in Scribble output

svn: r9138

original commit: 89d9e02cd05bcfa961268fe5fde6916e7c55154c
---
 collects/scribble/bnf.ss          | 4 ++--
 collects/scribble/latex-render.ss | 2 ++
 collects/scribble/text-render.ss  | 3 ++-
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/collects/scribble/bnf.ss b/collects/scribble/bnf.ss
index 70d46139..9e5b7e9d 100644
--- 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
index d0be8874..0978f900 100644
--- 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
index 6f28d38a..1a53c41b 100644
--- 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)]))]