X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeXOutput.ml;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeXOutput.ml;h=053c890bbde243977bee9140a7457eadf8ddf4bd;hb=21679cd1397d9c51519dbe439c29c1683b91ec64;hp=609772d47bdc607946f4e94085791ae16fc52db8;hpb=6b022cf2cccae67144ff045415e748b0b5c3a3d9;p=helm.git

diff --git a/matita/components/binaries/matex/TeXOutput.ml b/matita/components/binaries/matex/TeXOutput.ml
index 609772d47..053c890bb 100644
--- 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