src/Pure/Tools/mkroot.scala

--- a/src/Pure/Tools/mkroot.scala	Tue Mar 16 23:30:51 2021 +0100
+++ b/src/Pure/Tools/mkroot.scala	Wed Mar 17 22:24:57 2021 +0100
@@ -85,8 +85,8 @@
 %\""" + """usepackage{eurosym}
   %for \<euro>
 
-%\""" + """usepackage[only,bigsqcap]{stmaryrd}
-  %for \<Sqinter>
+%\""" + """usepackage[only,bigsqcap,fatsemi]{stmaryrd}
+  %for \<Sqinter>, \<Zsemi>
 
 %\""" + """usepackage{eufrak}
   %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)