diff --git a/collects/scribble/bnf.ss b/collects/scribble/bnf.ss index 70d4613999..9e5b7e9dbe 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 d0be887454..0978f9001c 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 6f28d38a8d..1a53c41bec 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)]))]