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)]))]