diff options
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index b4ed04c..e40b064 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -54,8 +54,12 @@ \usepackage{parskip} \usepackage{cleveref} \usepackage{enumitem} +\usepackage{multicol} \usepackage{stackengine} \crefname{figure}{Figure}{Figures} +\crefname{xdefinition}{Definition}{Definitions} +\crefname{xexample}{Example}{Examples} +\crefname{xremark}{Remark}{Remarks} \usepackage[color]{changebar} \newif\ifchangebar\changebarfalse \let\oldcbend\cbend @@ -74,6 +78,11 @@ \DeclareMathOperator{\Sop}{\mathbf{S}} \DeclareMathOperator{\Pop}{\bigcirc^{--1}} +\newcommand{\wff}{\emph{wff}} % Well-formed formula +\newcommand{\wffn}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{0}}} % Pure present wff +\newcommand{\wfff}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{$+$}}} % Pure future wff +\newcommand{\wffp}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{$-$}}} % Pure past wff + \title{Model Checking} \subtitle{Assignment 1} \author{Camil Staps \and Erin van der Veen} |