chiark / gitweb /
notation: \hasdirdep
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:48:46 +0000 (19:48 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:48:46 +0000 (19:48 +0100)
article.tex

index f52c275..462f4f3 100644 (file)
 \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 }