From 501e8f577ffa9fac675f65a15673914c10fe3aba Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 27 Apr 2012 12:22:01 +0100 Subject: [PATCH] notation: change >_1 to >_1: so we can define \succ_1 slightly differently --- article.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/article.tex b/article.tex index 198ced4..02bf4ce 100644 --- a/article.tex +++ b/article.tex @@ -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} -- 2.30.2