--- a/src/HOL/ZF/document/root.tex Sun Mar 21 23:16:34 2021 +0100
+++ b/src/HOL/ZF/document/root.tex Sun Mar 21 23:24:20 2021 +0100
@@ -8,8 +8,6 @@
\urlstyle{rm}
\isabellestyle{it}
-\newcommand{\ganz}{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}
-
\begin{document}
\title{ZF}