Example Presentation

Gareth Smith

gareth@totherme.org

All the usual tricks

  • lists
  • emphasis
  • bold
  • links

Maths

\begin{displaymath} \newcommand{\sep}{\mathrel{*}} \frac{\{ P \} \texttt{code} \{ Q \} } {\{ P \sep R \} \texttt{code} \{ Q \sep R \} } \end{displaymath}