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}} |