chiark / gitweb /
notation: change >_1 to >_1: so we can define \succ_1 slightly differently
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:22:01 +0000 (12:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:22:01 +0000 (12:22 +0100)
article.tex

index 198ced4..02bf4ce 100644 (file)
@@ -65,8 +65,8 @@
 %\newcommand{\hasparents}{\underaccent{1}{>}}
 %\newcommand{\hasparents}{{%
 %  \declareslashed{}{_{_1}}{0}{-0.8}{>}\slashed{>}}}
-\newcommand{\hasparents}{>_{\mkern-7.0mu _1}}
-\newcommand{\areparents}{<_{\mkern-14.0mu _1\mkern+5.0mu}}
+\newcommand{\hasparents}{>_{\mkern-7.0mu _{1:}}}
+\newcommand{\areparents}{<_{\mkern-14.0mu _{1:}\mkern+5.0mu}}
 
 \renewcommand{\implies}{\Rightarrow}
 \renewcommand{\equiv}{\Leftrightarrow}