# HG changeset patch # User wenzelm # Date 1695333911 -7200 # Node ID 46891e209d72a6094d176d75b71213eb75fcf10f # Parent 38fe769658be7308f90d2bd63c76702b17407746 proper fontenc for cartouches (amending d052d61da398); diff -r 38fe769658be -r 46891e209d72 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}