--- a/src/Doc/Datatypes/document/root.tex Sun Dec 23 20:51:23 2018 +0000
+++ b/src/Doc/Datatypes/document/root.tex Wed Dec 26 15:28:23 2018 +0100
@@ -51,8 +51,6 @@
\renewcommand\isachardoublequote{\mbox{\upshape{``}}}
\renewcommand\isachardoublequoteopen{\mbox{\upshape{``}\kern.1ex}}
\renewcommand\isachardoublequoteclose{\/\kern.15ex\mbox{\upshape{''}}}
-\renewcommand\isacharverbatimopen{\isacharbraceleft\isacharasterisk}
-\renewcommand\isacharverbatimclose{\isacharasterisk\isacharbraceright}
\renewcommand{\isasyminverse}{\isamath{{}^{-}}}
\hyphenation{isa-belle}