diff options
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index c75367b..a725397 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -95,6 +95,8 @@ \DeclareMathOperator{\Gop}{\square} \DeclareMathOperator{\Sop}{\mathbf{S}} \DeclareMathOperator{\Pop}{\raisebox{1pt}{$\bigcirc$}^{--1}} +\let\vDash\models +\def\nvDash{\not\models} \newcommand{\wff}{\emph{wff}} % Well-formed formula \newcommand{\wffn}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{0}}} % Pure present wff |