fixed agly space after gast command

diff --git a/a3/preamble.tex b/a3/preamble.tex
index b4c799c..bbedaff 100644 (file)
--- a/a3/preamble.tex
+++ b/a3/preamble.tex
@@ -10,12 +10,13 @@
 \usepackage{tabularx}
 \usepackage{longtable}
 \usepackage{amsfonts}
+\usepackage{xspace}
 \newcommand{\xmark}{\texttt{\textbf{x}}}
 
 \newcounter{TCC}
 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
 
-\newcommand{\GAST}{G$\forall$ST}
+\newcommand{\GAST}{G$\forall$ST\xspace}
 
 \lstset{%
   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace