From 7738081f2a702470debf444a5e23d88c7cc9ff88 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Tue, 19 Jul 2016 16:55:48 +0100
Subject: [PATCH] defined hooks

---
 concurgames.sty | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/concurgames.sty b/concurgames.sty
index f47cd45..027cc7d 100644
--- a/concurgames.sty
+++ b/concurgames.sty
@@ -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}