From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 May 2012 18:48:46 +0000 (+0100)
Subject: notation: \hasdirdep
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=7e6fe6ed683ada1dd7c118556e22abc900801df5;ds=sidebyside

notation: \hasdirdep
---

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 }