From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 10 Feb 2016 09:36:30 +0000 (+0100)
Subject: fix e1
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=277ff7da418a39bbc23c373a8ccc9f61c01ea9f7;p=mc1516.git

fix e1
---

diff --git a/e1.tex b/e1.tex
index ec5fcd3..ad644cf 100644
--- a/e1.tex
+++ b/e1.tex
@@ -11,29 +11,36 @@
 \newcommand{\al}{\square}
 \newcommand{\nx}{\bigcirc}
 
+\everymath{\displaystyle}
+
 \begin{document}
 \begin{enumerate}
 	\item
 		$\xymatrix{
-			\ar[dr]\\
-				& *+[o][F-]{s_0}\\
-			*+[o][F-]{nc_1} & & *+[o][F-]{nc_1}
+			& l_0 & l_1 & l_2 & l_3 & l_5 & l_6 & l_7\\
+			l_0\\
+			l_1\\
+			l_2\\
+			l_3\\
+			l_5\\
+			l_6\\
+			l_7
 		}$
 	\item
 		$\al(crit_0\veebar crit_1)$
 	\item 
 		We define:\\
-		$\displaystyle AP=\bigcup_{i\in N}\{lift_n, door_n,call_n\},
+		$ AP=\bigcup_{i\in N}\{lift_n, door_n,call_n\},
 		N=\{0, 1, 2, 3\}$
 		\begin{enumerate}
 			\item
-				$\forall n\in N\al(door_m\ra lift_n)$
+				$\bigwedge_{n\in N}\al(door_m\ra lift_n)$
 			\item
-				$\forall n\in N\al(call_n\ra\ev lift_n)$
+				$\bigwedge_{n\in N}\al(call_n\ra\ev(lift_n\wedge door_n))$
 			\item
 				$\al\ev lift_0$
 			\item
-				$\al call_3\rightarrow\bigcirc lift_3$
+				$\al(call_3\rightarrow\bigcirc (lift_3\wedge door_3))$
 		\end{enumerate}
 	\item\strut\\
 		$\begin{array}{ll}