diff options
Diffstat (limited to 'math/texutil.ml')
| -rw-r--r-- | math/texutil.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/math/texutil.ml b/math/texutil.ml index 7355bd64..ad4fce10 100644 --- a/math/texutil.ml +++ b/math/texutil.ml @@ -481,7 +481,7 @@ let find = function | "\\underbrace" -> LITERAL (TEX_ONLY "\\underbrace ") | "\\overleftarrow" -> LITERAL (TEX_ONLY "\\overleftarrow ") | "\\overrightarrow" -> LITERAL (TEX_ONLY "\\overrightarrow ") - | "\\overleftrightarrow"->LITERAL (TEX_ONLY "\\overleftrightarrow ") + | "\\overleftrightarrow"-> (tex_use_ams(); LITERAL (TEX_ONLY "\\overleftrightarrow ")) | "\\check" -> FUN_AR1 "\\check " | "\\acute" -> FUN_AR1 "\\acute " | "\\grave" -> FUN_AR1 "\\grave " @@ -733,4 +733,6 @@ let find = function | "\\vbox" -> raise (Failure "malformatted \\vbox") | "\\hbox" -> raise (Failure "malformatted \\hbox") | "\\color" -> (tex_use_color (); LITERAL (TEX_ONLY "\\color")) + | "\\pagecolor" -> (tex_use_color (); LITERAL (TEX_ONLY "\\pagecolor")) + | "\\definecolor" -> (tex_use_color (); LITERAL (TEX_ONLY "\\definecolor")) | s -> raise (Illegal_tex_function s) |