diff options
| author | Camil Staps | 2018-04-22 21:06:18 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-22 21:06:33 +0200 |
| commit | 7be7f9774737bab46d5b60688b89b790b1624a0f (patch) | |
| tree | e9a805d8a4c2b392b6b2c37cc90d5ddd9b85defb /Assignment1/assignment1.tex | |
| parent | OCD (if this causes conflict, feel free to rollback) (diff) | |
Typesetting
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 |