diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Classes/document/root.tex
--- a/src/Doc/Classes/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Classes/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,5 +1,5 @@
 \documentclass[12pt,a4paper,fleqn]{article}
-\usepackage{latexsym,graphicx}
+\usepackage{graphicx}
 \usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}
 \usepackage{style}