thatexhandout.tex

% ThaTeX
\input thatex
\input thatexmath
\input thatexfonts
\input thatexlang
\input thatextikz
\input thatexcd
\input thatexproof
\input thatexlang-br

\def\strutdepth{\dp\strutbox}
\def\marginalnote#1{\strut\vadjust{\kern-\strutdepth
   \vtop to \strutdepth{\baselineskip\strutdepth\vss\llap{#1\phantom{xx}}\null}}}
\def\points#1{\marginalnote{(#1)}}
\def\bonus#1{{#1}$^{\flat}$}
\def\newquestionpage{\newpage}
\def\newpageifstudent{\WhenStrNempty{\STUDENT}{\newquestionpage}}

\DefStyle proofpart {\scshape}
\DefStyle case      {\scshape}
\DefStyle proclaim  {\sl}

\def\statement#1{{\proclaimstyle #1}}
\def\case#1{\noi\casestylize{#1}}
\def\proofpart#1{\noi\proofpartstylize{#1}}
\def\crcase#1{\eop\case{#1}}
\def\crproofpart#1{\eop\proofpart{#1}}
\def\reversed#1{{#1}$^{\leftarrow}$}
\def\dterm#1{{\sl #1}}

\def\parhead#1{\noi{\bf #1.}\eop\noi}
\def\definition #1. #2\par{\parhead{#1}{#2}\medskip}
\def\proposition #1. #2\par{\parhead{#1}{\sl #2}\medskip}
\def\question #1. #2\par{\newpageifstudent\parhead{#1}{#2}\medskip}
\def\Question #1. [#2] #3\par{\newpageifstudent\noi{\bf #1.}\points{#2}\par\noi #3\medskip}
\def\answer #1. #2\par{\medskip\parhead{#1}{#2}\bigskip}

\def\rules #1. #2\par{\parhead{#1}\elist 1: #2 \endelist\rulesskip}
\def\rule #1 {\li #1 }

\def\qed{\hfill\ensuremath{\halmos}}

\def\lemmaskip{\vskip 16mm}
\def\titleskip{\vskip 8mm}
\def\rulesskip{\vskip 16mm}

\def\mktitle{%
\noi
\centerline{\twelvebf \COURSE, \SEMESTER}
\centerline{Professor: \PROFESSOR}
\medskip\noi
\centerline{\twelvebf \HANDOUT}
\medskip\noi
\centerline{(points: \POINTS; deadline: \DEADLINE)}
\WhenStrNempty {\STUDENT} {\medskip\noi {Student: {\it \STUDENT}}}
\titleskip
}


% default values
\def\PROFESSOR {Θάνος}
\def\POINTS    {100}
\def\STUDENT   {}

\tenrm
\sizex