\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}}
\newcommand{\tipdn}{ \tipa \pdn }
\newcommand{\tipdy}{ \tipa \pdy }
+\newcommand{\tippn}{ \tipa \pn }
\newcommand{\tippy}{ \tipa \py }
%\newcommand{\bigforall}{\mathop{\hbox{\huge$\forall$}}}