diff --git a/collects/scribble/bnf.ss b/collects/scribble/bnf.ss index 9e5b7e9d..1d124ebc 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 'lsaquo) + (make-element #f (append (list 'lang) (list (make-element 'italic (decode-content s))) - (list 'rsaquo)))) + (list 'rang)))) (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 0978f900..2e2fa579 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -138,8 +138,8 @@ (case (string-length s) [(0) (void)] [else - (printf "{\\mytexttt{~a}}" - (regexp-replace* #rx"." s "~"))]))] + (printf "{~a}" + (regexp-replace* #rx"." s "\\\\hphantom{\\\\mytexttt{x}}"))]))] [(newline) (printf "\\\\")] [else (error 'latex-render "unrecognzied style symbol: ~s" style)])] [(string? style) @@ -317,8 +317,8 @@ [(rarr) "$\\rightarrow$"] [(alpha) "$\\alpha$"] [(infin) "$\\infty$"] - [(lsaquo) "$\\langle$"] - [(rsaquo) "$\\rangle$"] + [(lang) "$\\langle$"] + [(rang) "$\\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 1a53c41b..2c078dd1 100644 --- a/collects/scribble/text-render.ss +++ b/collects/scribble/text-render.ss @@ -89,8 +89,8 @@ [(ndash) "\U2013"] [(ldquo) "\U201C"] [(rdquo) "\U201D"] - [(lsaquo) ">"] - [(rsaquo) "<"] + [(lang) ">"] + [(rang) "<"] [(rarr) "->"] [(nbsp) " "] [else (error 'text-render "unknown element symbol: ~e" i)]))]