\hprime{} markup
authorSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 23:44:10 +0000 (23:44 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 23:44:10 +0000 (23:44 +0000)
report/syntax-lexical.verb

index df782b1..9d93cb7 100644 (file)
@@ -22,7 +22,7 @@ space         -> \tr{a space}
 tab            -> \tr{a horizontal tab}
 uniWhite        -> \tr{any Unicode character defined as whitespace}
 
-comment         -> dashes [ any_{\langle{}symbol | @:@\rangle}  \{any\} ] newline
+comment         -> dashes [ any_{\langle{}symbol \hprime{| @:@}\rangle}  \{any\} ] newline
 dashes         -> @--@ \{@-@\}
 opencom                -> @{-@
 closecom       -> @-}@