diff options
| author | Camil Staps | 2018-04-19 20:11:57 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-19 20:11:57 +0200 |
| commit | affdaaba8b1f98cce8b297b6ecdee145b604e88c (patch) | |
| tree | 7d8cb5dcc6f2c89cbb151a545827744a7e8ff0e1 /Assignment1/assignment1.tex | |
| parent | Minor textual enhancements; remove outdated todos (diff) | |
Fix vertical placing of Xop
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 |