handouts/ho09.tex
changeset 496 cc4f49397abc
parent 404 4e3bc09748f7
--- a/handouts/ho09.tex	Sat Nov 05 17:09:05 2016 +0000
+++ b/handouts/ho09.tex	Sat Nov 05 17:28:18 2016 +0000
@@ -5,8 +5,10 @@
 \usepackage{../grammar}
 \usepackage{multicol}
 
+\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
+
 \begin{document}
-\fnote{\copyright{} Christian Urban, 2014}
+\fnote{\copyright{} Christian Urban, King's College London, 2014}
 
 %% why are shuttle flights so good with software
 %%http://www.fastcompany.com/28121/they-write-right-stuff