diff --git a/src/latex/raw.ml b/src/latex/raw.ml index ccc422bbb4..8bd1bfee4a 100644 --- a/src/latex/raw.ml +++ b/src/latex/raw.ml @@ -46,6 +46,11 @@ module Escape = struct for i = 0 to String.length s - 1 do match s.[i] with | '~' -> Fmt.pf ppf "+t+" + | '&' -> Fmt.pf ppf "+a+" + | '^' -> Fmt.pf ppf "+c+" + | '%' -> Fmt.pf ppf "+p+" + | '{' -> Fmt.pf ppf "+ob+" + | '}' -> Fmt.pf ppf "+cb+" | '+' -> Fmt.pf ppf "+++" | c -> Fmt.pf ppf "%c" c done