diff -r e51c9a67a68d -r fc346faada4e thys/Journal/document/root.tex
--- a/thys/Journal/document/root.tex	Sun Oct 10 00:56:47 2021 +0100
+++ b/thys/Journal/document/root.tex	Sun Oct 10 01:40:30 2021 +0100
@@ -13,7 +13,7 @@
 \usepackage{url}
 \usepackage{color}
 \usepackage[safe]{tipa}
-
+\usepackage{fontspec}
 
 
 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}