diff options
| author | Camil Staps | 2018-04-13 16:21:35 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-13 16:21:35 +0200 |
| commit | d3fcede1789c6dd76a0df8df76210c5bd2943102 (patch) | |
| tree | 527fdd693113fb3fbd539119b1e8ce8519a5e4b1 /Assignment1/assignment1.tex | |
| parent | Organise in different files (diff) | |
Add an exercise about dual modalities
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 027142a..3c9d766 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -9,6 +9,8 @@ \renewcommand{\qedsymbol}{$\blacksquare$} \let\leq\leqslant \let\le\leqslant +\let\geq\geqslant +\let\ge\geqslant % See http://www.ams.org/faq?faq_id=212 for the trick to add qed at the end of % definitions and examples. \newtheoremstyle{mydefinition}% |