18 lines
475 B
TeX
18 lines
475 B
TeX
%% 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}}
|
|
|
|
\newcommand{\strComp}{\odot}
|
|
\newcommand{\strInteract}{\ostar}
|
|
\newcommand{\strParallel}{\parallel}
|