- Const is now processed properly

[helm.git] / matita / components / binaries / matex / TeXOutput.ml

diff --git a/matita/components/binaries/matex/TeXOutput.ml b/matita/components/binaries/matex/TeXOutput.ml
index 609772d47bdc607946f4e94085791ae16fc52db8..053c890bbde243977bee9140a7457eadf8ddf4bd 100644 (file)
--- a/matita/components/binaries/matex/TeXOutput.ml
+++ b/matita/components/binaries/matex/TeXOutput.ml
@@ -17,7 +17,7 @@ module T = TeX
 
 (* internal functions *******************************************************)
 
-let special = "_"
+let special = "\\{}$&#^_~%" (* LaTeX reserves these characters *)
 
 let quote c =
    if S.contains special c then '.' else c