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