--- a/thys/Journal/document/root.tex	Fri Aug 17 12:00:25 2018 +0100
+++ b/thys/Journal/document/root.tex	Sat Aug 18 01:54:44 2018 +0100
@@ -9,7 +9,7 @@
 \usepackage{pgf}
 \usetikzlibrary{positioning}
 \usepackage{pdfsetup}
-%%\usepackage{stmaryrd}
+\usepackage{stmaryrd}
 \usepackage{url}
 \usepackage{color}
 \usepackage[safe]{tipa}