notation: fixes from paper markup of 389264b

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 59ae0eba401b1524ab74b771753d929dcbecfb5f..95e71b9a980038b4ba83c414c7c5c98c875e9140 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -73,6 +73,9 @@
 %\newcommand{\hasparents}{\underaccent{1}{>}}
 %\newcommand{\hasparents}{{%
 %  \declareslashed{}{_{_1}}{0}{-0.8}{>}\slashed{>}}}
+\newcommand{\hasparent}{>_{\mkern-7.0mu _{1}}}
+\newcommand{\isparent}{<_{\mkern-18.0mu _{1}\mkern+9.0mu}}
+
 \newcommand{\hasparents}{>_{\mkern-7.0mu _{1:}}}
 \newcommand{\areparents}{<_{\mkern-14.0mu _{1:}\mkern+5.0mu}}