lib/texinputs/isabellesym.sty
changeset 10929 ccceb5fb517d
parent 10859 b88ce3ed3b1d
child 10975 32ba04b00ec0
equal deleted inserted replaced
10928:e040e8627bbb 10929:ccceb5fb517d
   155 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
   155 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
   156 \newcommand{\isasymnot}{\isamath{\neg}}
   156 \newcommand{\isasymnot}{\isamath{\neg}}
   157 \newcommand{\isasymbottom}{\isamath{\bot}}
   157 \newcommand{\isasymbottom}{\isamath{\bot}}
   158 \newcommand{\isasymtop}{\isamath{\top}}
   158 \newcommand{\isasymtop}{\isamath{\top}}
   159 \newcommand{\isasymand}{\isamath{\wedge}}
   159 \newcommand{\isasymand}{\isamath{\wedge}}
   160 \newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
   160 \newcommand{\isasymAnd}{\isamath{\bigwedge}}
   161 \newcommand{\isasymor}{\isamath{\vee}}
   161 \newcommand{\isasymor}{\isamath{\vee}}
   162 \newcommand{\isasymOr}{\isamath{\bigvee\,}}
   162 \newcommand{\isasymOr}{\isamath{\bigvee}}
   163 \newcommand{\isasymforall}{\isamath{\forall\,}}
   163 \newcommand{\isasymforall}{\isamath{\forall\,}}
   164 \newcommand{\isasymexists}{\isamath{\exists\,}}
   164 \newcommand{\isasymexists}{\isamath{\exists\,}}
   165 \newcommand{\isasymbox}{\isamath{\Box}}  %requires latexsym
   165 \newcommand{\isasymbox}{\isamath{\Box}}  %requires latexsym
   166 \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
   166 \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
   167 \newcommand{\isasymturnstile}{\isamath{\vdash}}
   167 \newcommand{\isasymturnstile}{\isamath{\vdash}}