L3-internship-report/concurgames.sty

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

\usepackage[normalem]{ulem}
\usepackage{MnSymbol}
\usepackage{stmaryrd}
\usepackage{tikz}
\usepackage{relsize}

\usetikzlibrary{shapes,arrows}

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

\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}

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

\newcommand{\strComp}{\odot}
\newcommand{\strInteract}{\ostar}
\newcommand{\strParallel}{\parallel}

\newcommand{\seman}[1]{\llbracket{} #1 \rrbracket}

\newcommand{\tens}{\otimes}
\newcommand{\Tens}{\mathlarger\otimes}

\newcommand{\includedot}[2][]{%
	\begin{tikzpicture}[>=latex,line join=bevel,#1]
	\input{_build/dot/#2.tex}
	\end{tikzpicture}}