diff --git a/math/lexer.mll b/math/lexer.mll index b03e273..fb76718 100644 --- a/math/lexer.mll +++ b/math/lexer.mll @@ -69,7 +69,7 @@ rule token = parse | "\\" (latex_function_names as name) space * "[" { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ "[", name ^ "[")) } | "\\" (latex_function_names as name) space * "\\{" { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ "\\{", name ^ "{")) } | "\\" (latex_function_names as name) space * { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ " ", name ^ " ")) } - | "\\" (mediawiki_function_names as name) space * "(" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}(", name^ "("))) } + | "\\" (mediawiki_function_names as name) space * "(" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}(", name^ "("))) } | "\\" (mediawiki_function_names as name) space * "[" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}[", name^ "["))) } | "\\" (mediawiki_function_names as name) space * "\\{" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}\\{", name^ "{"))) } | "\\" (mediawiki_function_names as name) space * { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "} ", name ^ " "))) } diff --git a/texvccheck/texutil.ml b/texvccheck/texutil.ml index 2431219..9aebd7c 100644 --- a/texvccheck/texutil.ml +++ b/texvccheck/texutil.ml @@ -606,7 +606,7 @@ let find cmd = match cmd with | "\\N" -> LITERAL ( TEX_ONLY( "\\mathbb{N}" ^ " " ) ) | "\\Q" -> LITERAL ( TEX_ONLY( "\\mathbb{Q}" ^ " " ) ) | "\\R" -> LITERAL ( TEX_ONLY( "\\mathbb{R}" ^ " " ) ) - | "\\Z" -> LITERAL ( TEX_ONLY( "\\mathbb{Z }" ^ " " ) ) + | "\\Z" -> LITERAL ( TEX_ONLY( "\\mathbb{Z}" ^ " " ) ) | "\\darr" -> DELIMITER( TEX_ONLY( "\\downarrow" ^ " " ) ) | "\\dArr" -> DELIMITER( TEX_ONLY( "\\Downarrow" ^ " " ) )