diff options
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index c1e6a0d..d96839e 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -90,11 +90,11 @@ \DeclareMathOperator{\defeq}{\overset{\text{def}}{=}} \DeclareMathOperator{\Uop}{\mathbf{U}} \DeclareMathOperator{\Wop}{\mathbf{W}} -\DeclareMathOperator{\Xop}{\bigcirc} +\DeclareMathOperator{\Xop}{\raisebox{1pt}{$\bigcirc$}} \DeclareMathOperator{\Fop}{\lozenge} \DeclareMathOperator{\Gop}{\square} \DeclareMathOperator{\Sop}{\mathbf{S}} -\DeclareMathOperator{\Pop}{\bigcirc^{--1}} +\DeclareMathOperator{\Pop}{\raisebox{1pt}{$\bigcirc$}^{--1}} \newcommand{\wff}{\emph{wff}} % Well-formed formula \newcommand{\wffn}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{0}}} % Pure present wff |