# HG changeset patch
# User wenzelm
# Date 1633348421 -7200
# Node ID 7d6c7c86d88be47ae8ee13a933a2b9257a50132c
# Parent  ec17746138240f7dc57fdd8ff10a05afeea63fa6
clarified comments;

diff -r ec1774613824 -r 7d6c7c86d88b src/Pure/Tools/mkroot.scala
--- 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)