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}