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}