doc-src/isabellesym.sty
changeset 40401 25ba6b2559e1
parent 26913 67040326ab7a
child 40893 7d88ebdce380
     1.1 --- a/doc-src/isabellesym.sty	Sun Nov 07 22:26:25 2010 +0100
     1.2 +++ b/doc-src/isabellesym.sty	Sun Nov 07 22:42:49 2010 +0100
     1.3 @@ -1,5 +1,3 @@
     1.4 -%%
     1.5 -%% 
     1.6  %%
     1.7  %% definitions of standard Isabelle symbols
     1.8  %%
     1.9 @@ -251,7 +249,7 @@
    1.10  \newcommand{\isasymsqunion}{\isamath{\sqcup}}
    1.11  \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
    1.12  \newcommand{\isasymsqinter}{\isamath{\sqcap}}
    1.13 -\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires amsmath
    1.14 +\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
    1.15  \newcommand{\isasymsetminus}{\isamath{\setminus}}
    1.16  \newcommand{\isasympropto}{\isamath{\propto}}
    1.17  \newcommand{\isasymuplus}{\isamath{\uplus}}