|
|
- % 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}}}
|