lib/texinputs/isabellesym.sty
changeset 30820 17059c24014d
parent 29145 b1c6f4563df7
child 41179 7d88ebdce380
equal deleted inserted replaced
30819:38767385ad53 30820:17059c24014d
   247 \newcommand{\isasymunion}{\isamath{\cup}}
   247 \newcommand{\isasymunion}{\isamath{\cup}}
   248 \newcommand{\isasymUnion}{\isamath{\bigcup\,}}
   248 \newcommand{\isasymUnion}{\isamath{\bigcup\,}}
   249 \newcommand{\isasymsqunion}{\isamath{\sqcup}}
   249 \newcommand{\isasymsqunion}{\isamath{\sqcup}}
   250 \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
   250 \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
   251 \newcommand{\isasymsqinter}{\isamath{\sqcap}}
   251 \newcommand{\isasymsqinter}{\isamath{\sqcap}}
   252 \newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires amsmath
   252 \newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
   253 \newcommand{\isasymsetminus}{\isamath{\setminus}}
   253 \newcommand{\isasymsetminus}{\isamath{\setminus}}
   254 \newcommand{\isasympropto}{\isamath{\propto}}
   254 \newcommand{\isasympropto}{\isamath{\propto}}
   255 \newcommand{\isasymuplus}{\isamath{\uplus}}
   255 \newcommand{\isasymuplus}{\isamath{\uplus}}
   256 \newcommand{\isasymUplus}{\isamath{\biguplus\,}}
   256 \newcommand{\isasymUplus}{\isamath{\biguplus\,}}
   257 \newcommand{\isasymnoteq}{\isamath{\not=}}
   257 \newcommand{\isasymnoteq}{\isamath{\not=}}