Skip to content

Commit 70f3815

Browse files
committed
add tex escape to tilde char
1 parent 4ca38ff commit 70f3815

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

stdlib/lm_rformat_tex.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,7 @@ let tex_escape_string _linebreaks s =
7777
| '>' ->
7878
collect_escape_space i j "\\gt"
7979
| '^'
80+
| '~'
8081
| '&'
8182
| '#'
8283
| '['
@@ -101,7 +102,7 @@ let tex_escape_string _linebreaks s =
101102
" "
102103
else
103104
match s'.[0] with
104-
' ' | '\\' | '$' | '_' | '^' | '&' | '}' | '{' -> s'
105+
' ' | '\\' | '$' | '_' | '^' | '~' | '&' | '}' | '{' -> s'
105106
| _ ->
106107
" " ^ s'
107108
in

0 commit comments

Comments
 (0)