X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Futf8MacroTable.js;h=a8ea98f50aa405c73b05d2bb5cebcbb493ada006;hb=30f611aa842f9a04a705fdb770fd903452ddf808;hp=d9ec07381246ef8e5c29a172e73cb8ff10e51a3c;hpb=79d3e9a7a91fce8365bfb1243ff73373f08f1356;p=helm.git

diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js
index d9ec07381..a8ea98f50 100644
--- a/matitaB/matita/utf8MacroTable.js
+++ b/matitaB/matita/utf8MacroTable.js
@@ -583,12 +583,12 @@ macro2utf8["supplus"] = "⫀";
 utf82macro["⫀"] = "supplus";
 macro2utf8["RightUpDownVector"] = "⥏";
 utf82macro["⥏"] = "RightUpDownVector";
-macro2utf8["Tab"] = "	";
-utf82macro["	"] = "Tab";
+macro2utf8["Tab"] = "\t";
+utf82macro["\t"] = "Tab";
 macro2utf8["Lcedil"] = "Ļ";
 utf82macro["Ļ"] = "Lcedil";
-macro2utf8["backslash"] = "\";
-utf82macro["\"] = "backslash";
+macro2utf8["backslash"] = "\\";
+utf82macro["\\"] = "backslash";
 macro2utf8["pointint"] = "⨕";
 utf82macro["⨕"] = "pointint";
 macro2utf8["jcy"] = "й";
@@ -1463,8 +1463,8 @@ macro2utf8["nsqsupe"] = "⋣";
 utf82macro["⋣"] = "nsqsupe";
 macro2utf8["supset"] = "⊃";
 utf82macro["⊃"] = "supset";
-macro2utf8["bsolhsub"] = "\⊂";
-utf82macro["\⊂"] = "bsolhsub";
+macro2utf8["bsolhsub"] = "\\⊂";
+utf82macro["\\⊂"] = "bsolhsub";
 macro2utf8["nshortparallel"] = "∦︀";
 utf82macro["∦︀"] = "nshortparallel";
 macro2utf8["lozenge"] = "◊";
@@ -1723,10 +1723,8 @@ macro2utf8["integers"] = "ℤ";
 utf82macro["ℤ"] = "integers";
 macro2utf8["CloseCurlyQuote"] = "’";
 utf82macro["’"] = "CloseCurlyQuote";
-macro2utf8["NewLine"] = "
-";
-utf82macro["
-"] = "NewLine";
+macro2utf8["NewLine"] = "\n";
+utf82macro["\n"] = "NewLine";
 macro2utf8["fcy"] = "ф";
 utf82macro["ф"] = "fcy";
 macro2utf8["nwarr"] = "↖";
@@ -4075,8 +4073,8 @@ macro2utf8["nvHarr"] = "⇎";
 utf82macro["⇎"] = "nvHarr";
 macro2utf8["ContourIntegral"] = "∮";
 utf82macro["∮"] = "ContourIntegral";
-macro2utf8["bsol"] = "\";
-utf82macro["\"] = "bsol";
+macro2utf8["bsol"] = "\\";
+utf82macro["\\"] = "bsol";
 macro2utf8["DoubleUpDownArrow"] = "⇕";
 utf82macro["⇕"] = "DoubleUpDownArrow";
 macro2utf8["disin"] = "⋲";