%% By Théophile Bastian
%% Useful commands for concurrent games as event structures

\usepackage[normalem]{ulem}

\newcommand{\con}{\operatorname{Con}}
\newcommand{\confl}{\raisebox{0.5em}{\uwave{\hspace{2em}}}}

\newcommand{\forkover}[1]{[\qtodo{fork}~#1]}
\newcommand{\fork}{[\qtodo{fork}]}
\newcommand{\edgeArrow}{\rightarrowtriangle}

\newcommand{\config}{\mathscr{C}}