--- a/src/Pure/Tools/mkroot.scala Mon Oct 04 13:39:38 2021 +0200
+++ b/src/Pure/Tools/mkroot.scala Mon Oct 04 13:53:41 2021 +0200
@@ -85,8 +85,8 @@
%\""" + """usepackage{eurosym}
%for \<euro>
-%\""" + """usepackage[only,bigsqcap,fatsemi,interleave,sslash,bigparallel]{stmaryrd}
- %for \<Sqinter>, \<Zsemi>, \<Parallel>
+%\""" + """usepackage[only,bigsqcap,bigparallel,fatsemi,interleave,sslash]{stmaryrd}
+ %for \<Sqinter>, \<Parallel>, \<Zsemi>, \<Parallel>, \<sslash>
%\""" + """usepackage{eufrak}
%for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)