X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a3%2Fpreamble.tex;h=b4c799cbcc9e1183133d71984a5b38e26feeb95d;hb=65c1c81d63e835c95f987d727a87a863cb42f301;hp=36f5fb9cd852a1ce2f270a5ab6cf115fee90b976;hpb=99498b07287e1b5d8d6056395ec4da43bb0733dd;p=tt2015.git

diff --git a/a3/preamble.tex b/a3/preamble.tex
index 36f5fb9..b4c799c 100644
--- a/a3/preamble.tex
+++ b/a3/preamble.tex
@@ -15,6 +15,8 @@
 \newcounter{TCC}
 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
 
+\newcommand{\GAST}{G$\forall$ST}
+
 \lstset{%
   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
   breaklines=true,                 % sets automatic line breaking