right kind of angle brackets

svn: r9139

original commit: 526bf71b249df479e8d554a58fef8e446744642f

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

collects/scribble/latex-render.ss

@@ -138,8 +138,8 @@
                               (case (string-length s)
                                 [(0) (void)]
                                 [else
-                                 (printf "{\\mytexttt{~a}}"
+                                 (printf "{~a}"
-                                         (regexp-replace* #rx"." s "~"))]))]
+                                         (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$"]
+                         [(lang) "$\\langle$"]
-                         [(rsaquo) "$\\rangle$"]
+                         [(rang) "$\\rangle$"]
                          [else (error 'render "unknown symbol element: ~e" i)]))]
          [else (display-protected (format "~s" i))])
         null)

collects/scribble/text-render.ss

@@ -89,8 +89,8 @@
                      [(ndash) "\U2013"]
                      [(ldquo) "\U201C"]
                      [(rdquo) "\U201D"]
-                     [(lsaquo) ">"]
+                     [(lang) ">"]
-                     [(rsaquo) "<"]
+                     [(rang) "<"]
                      [(rarr) "->"]
                      [(nbsp) " "]
                      [else (error 'text-render "unknown element symbol: ~e" i)]))]