\newcommand\termsofdepth[2]{\app{{\mathcal T}_{#1}}{#2}}
\mathcommand\termsofdepthnovars[1]{{\mathcal T}_{#1}}

%\newcommand{\responsible}[1]{\protect\marginpar{\textbf{Res.:} #1}}

% \newenvironment{draft}{\begin{quote}\hrulefill\par\sl\textbf{Draft:}}{\hrulefill\par\end{quote}}

% \newcommand\bibcrit[1]{\ {\sl{(#1)}}}

\newcommand\frenchfont{}%{\sf}
\newcommand\germanfont{}%{\fraknomath}
\newcommand\germanfontfootnote{}%{\scriptscriptfrak}
\renewcommand\namefont{\sc}

\newcommand\ednote[1]{{\red\Frak #1\marginpar{\huge\math\forall}}}

%\renewcommand\etc{etc.}
%\renewcommand\etalabbrev{{\it et al.}}

%\renewcommand\secondincompletenesstheorem{second \incompletenesstheorem}
%\renewcommand\secondIncompletenessTheorem{Second \IncompletenessTheorem}

\renewcommand\udiff{\,if\,}

\newcommand\repair{correction}%{repair}

\newcommand\repaired{corrected}
\newcommand\herbrandexpansion{\herbrand\ expansion}
\newcommand\herbranduniverse{\herbrand\ universe}
%\renewcommand\axiomofchoice{axiom of choice}

\def\citep{\cite}
\def\citet#1{\citeauthor{#1} \shortcite{#1}}
\newcommand\startcite{{\raise.2ex\hbox{[}}}
\newcommand\stopcite {\raise.2ex\hbox{]}}
\newcommand\citehelper[1]{\startcite #1\stopcite}
\newcommand\makeaciteoftwo[2]
{\citehelper{\citeauthor{#1}, \citeyear{#1}; \citeyear{#2}}}
\newcommand\makeaciteofthree[3]
{\citehelper{\citeauthor{#1}, \citeyear{#1}; \citeyear{#2}; \citeyear{#3}}}
\newcommand\makeaciteoffour[4]
{\citehelper{\citeauthor{#1}, \citeyear{#1}; \citeyear{#2}; \citeyear{#3};
\citeyear{#4}}}
\newcommand\makeaciteoffive[5]
{\citehelper{\citeauthor{#1}, \citeyear{#1}; \citeyear{#2}; \citeyear{#3};
\citeyear{#4}; \citeyear{#5}}}
\newcommand\startacitewithnine[9]
{\startcite\citeauthor{#1}, \citeyear{#1}; 
\citeyear{#2}; \citeyear{#3}; \citeyear{#4}; \citeyear{#5};
\citeyear{#6}; \citeyear{#7}; \citeyear{#8}; \citeyear{#9};
}
\newcommand\stopacitewithone[1]{\citeyear{#1}\stopcite}
\newcommand\stopacitewithfour[4]{\citeyear{#1};
\citeyear{#2}; \citeyear{#3}; \citeyear{#4}\stopcite}
\newcommand\makeanextendedciteoftwo[4]
{\citehelper{\citeauthor{#2}, \citeyear{#2}, #1; \citeyear{#4}, #3}}
\newcommand\translationnotewithlongcite[3]{\cite[#1, #3]{#2}}

\newenvironment{ack}{\mysection{Acknowledgements}\par\yestop\noindent}
{}

\newcommand\qed
{\relax\ifmmode\hskip2em \Box\else\unskip\nobreak\hskip1em $\Box$\fi}

%% \newcommand\secondreaders
%% {\insert\footins{%
%%     \def\@thefnmark{$\ast$}
%%     \reset@font\footnotesize
%%     \interlinepenalty\interfootnotelinepenalty
%%     \splittopskip\footnotesep
%%     \splitmaxdepth \dp\strutbox \floatingpenalty \@MM
%%     \hsize\columnwidth \@parboxrestore
%%     \protected@edef\@currentlabel{%
%%        \csname p@footnote\endcsname
%%        \@thefnmark
%%     }%
%%     \color@begingroup
%%       \@makefntext{%
%%         \rule\z@\footnotesep\ignorespaces{Second Readers: 
%% \anellisname,
%% \bussottiname,
%% \paulsonname}
%% \@finalstrut\strutbox}%
%%     \color@endgroup}}

% Macro to avoid error message in case of missing .aux

\newif\ifaux
\IfFileExists{\jobname.aux}{\auxtrue}{\auxfalse}%

\newcommand\arXivfootnotemarkref
[1]{\footnotemark[\ifaux\ref{#1}\else 666\fi]}%
