src/Doc/Isar_Ref/document/root.tex

--- a/src/Doc/Isar_Ref/document/root.tex	Mon Mar 22 10:49:51 2021 +0000
+++ b/src/Doc/Isar_Ref/document/root.tex	Mon Mar 22 17:24:42 2021 +0100
@@ -7,7 +7,7 @@
 \usepackage{eurosym}
 \usepackage{pifont}
 \usepackage[english]{babel}
-\usepackage[only,bigsqcap,fatsemi]{stmaryrd}
+\usepackage[only,bigsqcap,fatsemi,interleave,sslash]{stmaryrd}
 \usepackage{graphicx}
 \let\intorig=\int  %iman.sty redefines \int
 \usepackage{iman,extra,isar,proof}