From 7d871cecfa0450d6c398dd7b63136c4a9d4fd9ff Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Tue, 10 Apr 2018 15:21:45 +0200
Subject: Align intuitive symantics

---
 Assignment1/assignment1.tex | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'Assignment1')

diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
index 1e50572..bac6910 100644
--- a/Assignment1/assignment1.tex
+++ b/Assignment1/assignment1.tex
@@ -91,7 +91,8 @@ we include an arrow that points to the state for which the formula holds.
 
 \begin{figure}
 	\centering
-	$a \Sop b$
+	\begin{align*}
+	a \Sop b&
 	\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex]
 		\node                                          (0)                {\dots};
 		\node[state,label=arbitrary,minimum size=15pt] (1) [right of = 0] {};
@@ -102,7 +103,7 @@ we include an arrow that points to the state for which the formula holds.
 		\node                                          (6) [right of = 5] {\dots};
 		\path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6);
 	\end{tikzpicture}\\
-	$\Xop^{-1} a$
+	\Xop^{-1} a&
 	\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex]
 		\node                                          (0)                {\dots};
 		\node[state,label=arbitrary,minimum size=15pt] (1) [right of = 0] {};
@@ -113,7 +114,7 @@ we include an arrow that points to the state for which the formula holds.
 		\node                                          (6) [right of = 5] {\dots};
 		\path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6);
 	\end{tikzpicture}\\
-	$\Fop^{-1} a$
+	\Fop^{-1} a&
 	\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex]
 		\node                                          (0)                {\dots};
 		\node[state,label=arbitrary,minimum size=15pt] (1) [right of = 0] {};
@@ -124,7 +125,7 @@ we include an arrow that points to the state for which the formula holds.
 		\node                                          (6) [right of = 5] {\dots};
 		\path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6);
 	\end{tikzpicture}\\
-	$\Gop^{-1} a$
+	\Gop^{-1} a&
 	\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,initial text={},baseline=-0.5ex]
 		\node                                          (0)                {\dots};
 		\node[state,label=$a$      ,minimum size=15pt] (1) [right of = 0] {};
@@ -135,6 +136,7 @@ we include an arrow that points to the state for which the formula holds.
 		\node                                          (6) [right of = 5] {\dots};
 		\path[->] (0) edge (1) (1) edge (2)(2) edge (3)(3) edge (4)(4) edge (5)(5) edge (6);
 	\end{tikzpicture}\\
+	\end{align*}
 	\caption{Intuitive semantics of past modalities.}
 	\label{fig:LTLP_intuitive}
 \end{figure}
-- 
cgit v1.2.3