From 7e6fe6ed683ada1dd7c118556e22abc900801df5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 May 2012 19:48:46 +0100
Subject: [PATCH] notation: \hasdirdep

---
 article.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/article.tex b/article.tex
index f52c275..462f4f3 100644
--- a/article.tex
+++ b/article.tex
@@ -114,6 +114,7 @@
 \newcommand{\hasdirdep}{\succ_{\mkern-7.0mu _1}}
 \newcommand{\hasdep}{\succ}
 \newcommand{\isdep}{\prec}
+\newcommand{\isdirdep}{\prec_{\mkern-7.0mu _1}}
 
 \newcommand{\tipz}{ T^0 }
 \newcommand{\tipc}{ T }
-- 
2.30.2