clarified comments;
authorwenzelm
Mon, 04 Oct 2021 13:53:41 +0200
changeset 74820 7d6c7c86d88b
parent 74819 ec1774613824
child 74821 4bb1251043cd
clarified comments;
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)