@@ -472,19 +472,27 @@ sect = try (do
472 return (Str [chr 167]))
472 return (Str [chr 167]))
474escapedChar = do
474escapedChar = do
475− result <- escaped (oneOf " $%^&_#{}\n")
475+ result <- escaped (oneOf " $%&_#{}\n")
476 return (if result == Str "\n" then Str " " else result)
476 return (if result == Str "\n" then Str " " else result)
478unescapedChar = do -- ignore standalone, nonescaped special characters
478unescapedChar = do -- ignore standalone, nonescaped special characters
479 oneOf "$^&_#{}|<>"
479 oneOf "$^&_#{}|<>"
480 return (Str "")
480 return (Str "")
482−specialChar = choice [ backslash, bar, lt, gt ]
482+specialChar = choice [ backslash, tilde, caret, bar, lt, gt ]
484backslash = try (do
484backslash = try (do
485 string "\\textbackslash"
485 string "\\textbackslash"
486 return (Str "\\"))
486 return (Str "\\"))
489+ string "\\ensuremath{\\sim}"
488bar = try (do
496bar = try (do
489 string "\\textbar"
497 string "\\textbar"
490 return (Str "\\"))
498 return (Str "\\"))