LaTeX Macros for the operators of computability logic

Macro names:

Macro definitions:

% ******** cut here and insert the following in the preamble of your LaTeX source file ********

\newcommand{\negation}{\neg} % negation

\newcommand{\chand}{\sqcap} % choice conjunction

\newcommand{\pand}{\wedge} % parallel conjunction

\newcommand{\sand}{\hspace{2pt}\mbox{\small \raisebox{0.0cm}{$\bigtriangleup$}}\hspace{2pt}} % sequential conjunction

\newcommand{\tand}{\mbox{\hspace{2pt}$\wedge$\hspace{-1.29mm}\raisebox{0.02mm}{\rule{0.13mm}{2mm}}}\hspace{5pt}}    % toggling conjunction

\newcommand{\chor}{\sqcup} % choice disjunction

\newcommand{\por}{\vee} % parallel disjunction

\newcommand{\sor}{\hspace{2pt}\mbox{\small \raisebox{0.049cm}{$\bigtriangledown$}}\hspace{2pt}} % sequential disjunction

\newcommand{\tor}{\mbox{\hspace{2pt}$\vee$\hspace{-1.29mm}\raisebox{0.1mm}{\rule{0.13mm}{2mm}}\hspace{5pt}}}    % toggling disjunction

\newcommand{\blall}{\mbox{\large $\forall$}} % blind universal quantifier

\newcommand{\chall}{\hspace{1pt}\mbox{\Large $\sqcap$}} % choice universal quantifier

\newcommand{\pall}{\hspace{1pt}\mbox{{\Large $\wedge$}}\hspace{1pt}} % parallel universal quantifier

\newcommand{\sall}{\mbox{\large \raisebox{0.0cm}{$\bigtriangleup$}}} % sequential universal quantifier

\newcommand{\tall}{\mbox{\hspace{1pt}\Large $\wedge$\hspace{-1.84mm}\raisebox{0.02mm}{\rule{0.13mm}{3.0mm}}\hspace{6pt}}}   % toggling universal quantifier

\newcommand{\blexists}{\mbox{\large $\exists$}} % blind existential quantifier

\newcommand{\chexists}{\hspace{1pt}\mbox{\Large $\sqcup$}} % choice existential quantifier

\newcommand{\pexists}{\hspace{0pt}\mbox{{\Large $\vee$}}\hspace{0pt}} % parallel existential quantifier

\newcommand{\sexists}{\mbox{\large \raisebox{0.07cm}{$\bigtriangledown$}}} % sequential existential quantifier

\newcommand{\texists}{\hspace{1pt}\mbox{\Large $\vee$\hspace{-1.84mm}\raisebox{0.1mm}{\rule{0.13mm}{3.0mm}}\hspace{5pt}}} % toggling existential quantifier

\newcommand{\chimplication}{\sqsupset} % choice implication

\newcommand{\pimplication}{\rightarrow} % parallel implication

\newcommand{\simplication}{\hspace{3pt}\mbox{\large $\triangleright$}\hspace{3pt}} % sequential implication

\newcommand{\timplication}{>\hspace{-11pt}-\hspace{2pt}} % toggling implication

\newcommand{\precurrence}{\hspace{1pt}\mbox{\raisebox{-0.01cm}{\scriptsize $\wedge$}\hspace{-4pt}\raisebox{0.16cm}{\tiny $\mid$}}\hspace{2pt}} % parallel recurrence

\newcommand{\srecurrence}{\mbox{\raisebox{-0.07cm}{\scriptsize $-$}\hspace{-5.9pt}\mbox{\raisebox{-0.01cm}{\scriptsize $\wedge$}\hspace{-4pt}\raisebox{0.16cm}{\tiny $\mid$}}}\hspace{2pt}} % sequential recurrence

\newcommand{\trecurrence}{\mbox{\raisebox{-0.01cm}{\scriptsize $\wedge$}\hspace{-3.95pt}\raisebox{0.06cm}{\small $\mid$}\hspace{2pt}}}  % toggling recurrence

\newcommand{\brecurrence}{\mbox{\raisebox{-0.05cm}{$\circ$}\hspace{-0.13cm}\raisebox{3.9pt}{\tiny $\mid$}}\hspace{1.5pt}} % branching recurrence

\newcommand{\coprecurrence}{\hspace{1pt}\mbox{\raisebox{0.12cm}{\scriptsize $\vee$}\hspace{-3.8pt}\raisebox{0.02cm}{\tiny $\mid$}}\hspace{2pt}} % parallel corecurrence

\newcommand{\cosrecurrence}{\mbox{\raisebox{0.20cm}{\scriptsize $-$}\hspace{-5.9pt}\mbox{\raisebox{0.12cm}{\scriptsize $\vee$}\hspace{-3.8pt}\raisebox{0.02cm}{\tiny $\mid$}}}\hspace{2pt}} % sequential corecurrence

\newcommand{\cotrecurrence}{\mbox{\raisebox{0.12cm}{\scriptsize $\vee$}\hspace{-3.95pt}\raisebox{0.04cm}{\small $\mid$}\hspace{2pt}}}  % toggling corecurrence

\newcommand{\cobrecurrence}{\mbox{\raisebox{0.12cm}{$\circ$}\hspace{-0.13cm}\raisebox{0.02cm}{\tiny $\mid$}}\hspace{1.5pt}} % branching corecurrence

\newcommand{\primplication}{\hspace{2pt}\mbox{\raisebox{0.033cm}{\tiny $>$}\hspace{-0.18cm} \raisebox{-0.043cm}{\large --}}\hspace{2pt}} % parallel rimplication

\newcommand{\srimplication}{\hspace{3pt}\mbox{\mbox{\raisebox{0.1pt}{\small $\triangleright$}}\hspace{-4pt}  \raisebox{-0.8pt}{\large --}}\hspace{3pt}} % sequential rimplication

\newcommand{\trimplication}{\mbox{\hspace{2pt}\raisebox{0.033cm}{\tiny $>$}\hspace{-0.28cm} \raisebox{-2.4pt}{\LARGE --}\hspace{2pt}}}% toggling rimplication

\newcommand{\brimplication}{\hspace{3pt}\mbox{$\circ$\hspace{-0.14cm} \raisebox{-0.043cm}{\Large --}}\hspace{3pt}} % branching rimplication

\newcommand{\prefutation}{\mbox{\raisebox{1.1pt}{\tiny $>$}\hspace{-1.6pt}{\scriptsize $\neg$}}} % parallel refutation

\newcommand{\srefutation}{\hspace{1pt}\mbox{\raisebox{0.1pt}{\small $\triangleright$}\hspace{-1pt}{\scriptsize $\neg$}}} % sequential refutation

\newcommand{\trefutation}{\mbox{\raisebox{0.033cm}{\tiny $>$}\hspace{-0.28cm} \raisebox{-0.5pt}{\large -}\hspace{-1pt}{\scriptsize $\neg$}}} % toggling refutation

\newcommand{\brefutation}{\mbox{$\circ$\hspace{-0.14cm} \hspace{-0.8pt}\raisebox{0.2pt}{\scriptsize $\neg$}}} % branching refutation