defined hooks

This commit is contained in:
Théophile Bastian 2016-07-19 16:55:48 +01:00
parent f985f371ff
commit 7738081f2a

View file

@ -11,8 +11,12 @@
\newcommand{\con}{\operatorname{Con}}
\newcommand{\confl}{\raisebox{0.5em}{\uwave{\hspace{2em}}}}
\newcommand{\forkover}[1]{[\qtodo{fork}~#1]}
\newcommand{\fork}{[\qtodo{fork}]}
\newcommand{\cov}{{{\mathrel-\joinrel\subset}}}
\newcommand{\longcov}[1]{{\stackrel{#1}
{\mathrel-\joinrel\relbar\joinrel\subset\,}}}
\newcommand{\forkover}[1]{\longcov{#1}}
\newcommand{\fork}{\cov}
\newcommand{\edgeArrow}{\rightarrowtriangle}
\newcommand{\linArrow}{\rightspoon}