src/Pure/Tools/mkroot.scala

   %\<triangleq>, \<yen>, \<lozenge>
 
 %\""" + """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)
 
 %\""" + """usepackage{textcomp}