-macro2utf8["partial"] = "∂";
-utf82macro["∂"] = "partial";
-macro2utf8["DoubleLeftRightArrow"] = "⇔";
-utf82macro["⇔"] = "DoubleLeftRightArrow";
-macro2utf8["varepsilon"] = "ε";
-utf82macro["ε"] = "varepsilon";
-macro2utf8["supe"] = "⊇";
-utf82macro["⊇"] = "supe";
+macro2utf8["partial"] = "∂";
+utf82macro["∂"] = "partial";
+macro2utf8["DoubleLeftRightArrow"] = "⇔";
+utf82macro["⇔"] = "DoubleLeftRightArrow";
+macro2utf8["varepsilon"] = "ε";
+utf82macro["ε"] = "varepsilon";
+macro2utf8["supe"] = "⊇";
+utf82macro["⊇"] = "supe";