src/HOL/HOLCF/document/root.tex
changeset 41182 717404c7d59a
parent 40945 b8703f63bfb2
child 58880 0baae4311a9f
--- a/src/HOL/HOLCF/document/root.tex	Wed Dec 15 20:52:20 2010 +0100
+++ b/src/HOL/HOLCF/document/root.tex	Wed Dec 15 19:15:06 2010 -0800
@@ -12,6 +12,7 @@
 \pagestyle{myheadings}
 \newcommand{\isasymas}{\textsf{as}}
 \newcommand{\isasymlazy}{\isamath{\sim}}
+\newcommand{\isasymnotsqsubseteq}{\isamath{\not\sqsubseteq}}
 
 \begin{document}