diff options
Diffstat (limited to 'Assignment1/specifying-properties.tex')
| -rw-r--r-- | Assignment1/specifying-properties.tex | 13 |
1 files changed, 0 insertions, 13 deletions
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} |