diff options
Diffstat (limited to 'Util/latex/dafny.sty')
-rw-r--r-- | Util/latex/dafny.sty | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index e3007b75..6982f032 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -36,6 +36,7 @@ {+set}{$\cup$}1
{*set}{$\cap$}1
{==>}{$\Longrightarrow$}3
+ {<==}{$\Longleftarrow$}3
{=>}{$\Rightarrow$}2
{<==>}{$\Longleftrightarrow$}4
{forall}{$\forall$}1
|