Workaround to support lualatex.

2021-01-17 06:37:14 +00:00 · 2021-01-17 06:37:14 +00:00 · 6ed771ef04
parent 9e605d2e3c
commit 6ed771ef04
1 changed files with 1 additions and 0 deletions
--- 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>}