\usepackage{amsfonts}
\usepackage{eufrak}
\usepackage{mdwlist}
+\usepackage{hyperref}
%\usepackage{lastpage}
%\usepackage{accents}
\usepackage{fancyhdr}
-\pagestyle{fancy}
+\pagestyle{fancyplain}
\rhead[\rightmark]{}
\lhead[]{\rightmark}
\rfoot[\thepage]{\input{revid.inc}}
%\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}}