| 1 | \PassOptionsToClass{a4, article}{mdwslides} |
| 2 | \LoadClass{mdwslides} |
| 3 | |
| 4 | \newif\ifpdf |
| 5 | \if0\ifx\pdfoutput\@@undefined0\else\the\expandafter\pdfoutput\fi |
| 6 | \PassOptionsToPackage{dvips}{xy} |
| 7 | \pdffalse |
| 8 | \else |
| 9 | \AtBeginDocument{ |
| 10 | \ifarticle\else |
| 11 | \setslidelength{\pdfpagewidth}{\paperheight} |
| 12 | \setslidelength{\pdfpageheight}{\paperwidth} |
| 13 | \pdfhorigin=1 true in |
| 14 | \pdfvorigin=1 true in |
| 15 | \fi |
| 16 | } |
| 17 | \pdftrue |
| 18 | \fi |
| 19 | |
| 20 | |
| 21 | \RequirePackage{mdwlist} |
| 22 | \RequirePackage[T1]{fontenc} |
| 23 | \RequirePackage{colour} |
| 24 | \RequirePackage{mdwmath} |
| 25 | \RequirePackage{crypto} |
| 26 | \RequirePackage[all]{xy} |
| 27 | \RequirePackage{tabularx} |
| 28 | \RequirePackage{mathenv} |
| 29 | \RequirePackage{graphicx} |
| 30 | \RequirePackage[palatino, helvetica, courier, maths = cmr]{mdwfonts} |
| 31 | \RequirePackage{mdwthm} |
| 32 | |
| 33 | \def\Nupto#1{\{0, 1, \ldots, #1 - 1\}} |
| 34 | \def\Bin{\{0, 1\}} |
| 35 | \let\op\star |
| 36 | \let\le\leqslant |
| 37 | \let\ge\geqslant |
| 38 | \let\epsilon\varepsilon |
| 39 | |
| 40 | \def\poly{\mathop{\operator@font{poly}}} |
| 41 | |
| 42 | \def\description{% |
| 43 | \basedescript{% |
| 44 | \let\makelabel\textit% |
| 45 | \desclabelstyle\multilinelabel% |
| 46 | \desclabelwidth{1in}% |
| 47 | }% |
| 48 | } |
| 49 | |
| 50 | \let\protocolstyle\small |
| 51 | \newskip\protocolskip |
| 52 | \protocolskip\parskip |
| 53 | \def\protocol{% |
| 54 | \protocolstyle% |
| 55 | \vskip\protocolskip% |
| 56 | \begin{tabular*}{\linewidth}{@{\qquad}l@{\extracolsep{0ptplus1fil}}r@{\qquad}}} |
| 57 | \def\endprotocol{\end{tabular*}} |
| 58 | |
| 59 | \makeatother |
| 60 | \def\send#1#2{\noalign{% |
| 61 | \centerline{\xy\ar @{#1}|*+{\mathstrut#2}<.5\linewidth, 0pt>\endxy}}} |
| 62 | \makeatletter |
| 63 | \errorcontextlines=999 |
| 64 | |
| 65 | \newcommand{\E}{{\mathcal{E}}} |
| 66 | |
| 67 | \def\Wident{\Xid{W}{ident}} |
| 68 | \def\Wkw{\Xid{W}{kx}} |
| 69 | |
| 70 | \def\other{\colour{blue}} |
| 71 | \def\diff{\colour{red}} |
| 72 | |
| 73 | \title{The Wrestlers Protocol} |
| 74 | |
| 75 | \endinput |