src/Doc/Classes/document/root.tex

--- a/src/Doc/Classes/document/root.tex	Thu Sep 21 23:45:03 2023 +0200
+++ b/src/Doc/Classes/document/root.tex	Fri Sep 22 00:05:11 2023 +0200
@@ -1,4 +1,5 @@
 \documentclass[12pt,a4paper,fleqn]{article}
+\usepackage[T1]{fontenc}
 \usepackage{graphicx}
 \usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}