From 32f1f4867bad79eb4d5afd179697b92699521698 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 18 Apr 2018 19:33:40 +0200
Subject: Minor enhancements

---
 Assignment1/specifying-properties.tex | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 Assignment1/specifying-properties.tex

(limited to 'Assignment1/specifying-properties.tex')

diff --git a/Assignment1/specifying-properties.tex b/Assignment1/specifying-properties.tex
deleted file mode 100644
index 0f84a4e..0000000
--- a/Assignment1/specifying-properties.tex
+++ /dev/null
@@ -1,13 +0,0 @@
-\subsubsection{Specifying Properties}
-% TODO Once operator
-
-\camil
-\begin{remark}[Other Notations]
-	% TODO: I don't find this place logical for this remark, but it is the same place as Remark 5.16 in the book.
-	Like for LTL, many different notations are used in literature for PLTL.
-	These include
-		$\mathbf X^{-1}, \mathbf G^{-1}, \mathbf F^{-1}$~\citep[e.g.]{Markey2003},
-		but also \raisebox{-1pt}{\tikz\draw[black,fill=black](0,0)circle(.4em);}$,\blacksquare,\blacklozenge$~\citep[e.g.]{Gabbay1989}
-		or $\stackinset{c}{}{c}{}{$\cdot$}{$\bigcirc$},\boxdot,\stackinset{c}{}{c}{}{$\cdot$}{$\lozenge$}$~\citep[e.g.]{Havelund2002}.
-	% It is always fun to come up with new versions and watch people struggling to reproduce them in \LaTeX.
-\end{remark}
-- 
cgit v1.2.3