From 6ed771ef04202d81902756288047a9c53bd32514 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 17 Jan 2021 06:37:14 +0000
Subject: [PATCH] Workaround to support lualatex.

---
 .../TR_my_commented_isabelle/document/preamble.tex               | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex b/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
index 0919e95..1aebc72 100755
--- a/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
+++ b/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
@@ -13,6 +13,7 @@
 
 %% This is a placeholder for user-specific configuration and packages. 
 
+\renewcommand{\isasymtheta}{\texorpdfstring{\isamath{\vartheta}}{ϑ}}
 \usepackage{prooftree}
 \title{<TITLE>}
 \author{<AUTHOR>}