% theorem-like environments
% \newtheorem{thm}{Theorem}[section]
% \newtheorem{cor}[thm]{Corollary}
% \newtheorem{lem}[thm]{Lemma}
% \newtheorem{definition}[thm]{Definition}

\newtheorem{prop}{Proposition}

% Definitions for old versions
%% \newtheorem*{algorithm}{Algorithm}
%% \theoremstyle{remark}
%% \newtheorem*{rmk}{Remark}
%% \newtheorem*{ToJane}{To Jane}
%% \newtheorem*{ToDaniel}{To Daniel}
%% \theoremstyle{plain}
%% \newtheorem*{rd_algorithm}{Reference Deadline Algorithm}
%% \newtheorem*{edf_rd}{EDF-RD Algorithm}
%% \newtheorem*{PSA}{Period Synthesis Algorithm}
%% \newtheorem*{priority_boosting_edf}{Priority-Boosting EDF Algorithm}
%% % Using symbole as the footnote mark
%% %\renewcommand{\thefootnote}{\fnsymbol{footnote}}

\newtheorem{plain_definition}{Definition}

%% \def\singlespace{\baselineskip=11pt plus 2pt}
%% \def\oneandonehalfspace{\baselineskip=17pt plus 4pt}
%% \def\doublespace{\baselineskip=22pt plus 4pt} 
% \def\doublespace{\baselineskip=26pt plus 4pt}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}

\def\slug{\hbox to 6pt{\hfill}\hfill\llap{\vrule height 6pt width 6pt depth 0pt}}
\def\proof{\futurelet\next{\bf Proof:}}
%\def\endproof{\hfill\slug}
\def\endproof{\slug}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\appear#1{\def\@appear{#1}}
\appear{Conference of Fun}

\newcount\timehh\newcount\timemm
\timehh=\time \divide\timehh by 60
\timemm=\time \count255=\timehh \multiply\count255 by -60 \advance\timemm by \count255
\def\paperdraftheadertime{Draft of \today\ at \ifnum\timehh<10 0\fi\number\timehh\,:\,\ifnum\timemm<10 0\fi\number\timemm}%

\def\paperdraftheaderday{\footnotesize Draft of \today\ for \@appear.\ }%

\def\paperdraftheader{\paperdraftheaderday}

\newcommand{\draft}{\pagestyle{myheadings}\markboth{\paperdraftheader\hfil}{\paperdraftheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}}

\def\submission#1{\def\@submission{#1}}
\submission{Conference of Fun}

\def\submitheaderday{\footnotesize Submitted to \@appear.\  }%

\def\submitheader{\submitheaderday}

\newcommand{\submit}{\pagestyle{myheadings}\markboth{\submitheader\hfil}{\submitheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}}

\def\appearinheaderday{\footnotesize Appeared in \@appear.\  }

\def\appearinheader{\appearinheaderday}

\newcommand{\appearin}{\pagestyle{myheadings}\markboth{\appearinheader\hfil}{\appearinheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}}

\def\u#1{\underline{#1}}

\newcommand{\good}{\ding{51}}
\newcommand{\bad}{\ding{55}}
\font\tenhv  = phvb at 10pt
\def\easycaption#1{\vskip 10pt \centerline{\tenhv #1}}
\font\tenhvs  = phvb at 8pt

% ---- OPERATORS (requires amsmath) ----
\def\aff{\operatorname{aff}}    % (\Line is better!)
\def\area{\operatorname{area}}
\def\argmax{\operatornamewithlimits{arg\,max}}
\def\argmin{\operatornamewithlimits{arg\,min}}
\def\Aut{\operatorname{Aut}}    % Automorphism group
\def\card{\operatorname{card}}    % cardinality, deprecated for \abs
\def\conv{\operatorname{conv}}    % (\overline is better!)
\def\E{\operatorname{E}}    % Expectation: $\E[X]$ (like \Pr)
\def\EE{\operatornamewithlimits{E}}
\def\Hom{\operatorname{Hom}}    % Homomorphism group
\def\id{\operatorname{id}}    % identity
\def\im{\operatorname{im}}    % image
\def\lcm{\operatorname{lcm}}
\def\lfs{\operatorname{lfs}}    % local feature size
\def\poly{\operatorname{poly}}
\def\polylog{\operatorname{polylog}}
\def\rank{\operatorname{rank}}
\def\rel{\operatorname{rel\,}}    % relative (interior, boundary, etc.)
\def\sgn{\operatorname{sgn}}
\def\vol{\operatorname{vol}}    % volume

\def\fp#1{^{\underline{#1}}}            % falling powers: $n\fp{d}$
\def\rp#1{^{\overline{#1}}}             % rising powers:  $n\rp{d}$
 
\usepackage{color,soul}
\usepackage{myColor} 
\input{mycolor.cfg}

\newcommand{\ap}{\ding{51}}
\newcommand{\nap}{\ding{55}}

\usepackage[colorinlistoftodos]{todonotes}
%% \usepackage{easyReview} 
\newcommand{\add}[1]{\todo[color=red!40,inline]{#1}}
\newcommand{\rewrite}[1]{\todo[color=green!40,inline]{#1}}


%
%
% \newcommand{\argmax}{\mathop}{\mathrm{argmax}}}