From b13960a5e1d92b04166899ccddd7b2961db77686 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 13 May 2021 13:30:02 +0100
Subject: [PATCH] Fix spacing in stepsto type declaration

---
 thesis.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thesis.tex b/thesis.tex
index 3ce84c0..563113f 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -11089,7 +11089,7 @@ Section~\ref{subsec:machine-correctness} easier to state.
 \ba{@{}l@{\quad}r@{~}c@{~}l@{~~}l@{}}
 % \mlab{Init} & \multicolumn{3}{@{}c@{}}{M \stepsto \cek{M \mid \emptyset \mid [(\nil, (\emptyset, \{\Return\;x \mapsto \Return\;x\}))]}} \\[1ex]
 % App
-&&\multicolumn{2}{@{}l}{\stepsto \subseteq \MConfCat \times \MConfCat}\\
+&&\multicolumn{2}{@{}l}{\stepsto\, \subseteq\! \MConfCat \times \MConfCat}\\
 \mlab{App} & \cek{ V\;W \mid \env \mid \shk}
     &\stepsto& \cek{ M \mid \env'[x \mapsto \val{W}{\env}] \mid \shk},
        &\text{if }\val{V}{\env} = (\env', \lambda x^A.M) \\