diff options
author | Rustan Leino <leino@microsoft.com> | 2013-05-12 21:32:39 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2013-05-12 21:32:39 -0700 |
commit | 2fa6ad2a4dbf072afd0b99e35c3dc5defedb0ad0 (patch) | |
tree | cc83a2527f1d2be9a664771e9a29a4eee1d42f30 /Util | |
parent | 7f7248c1ba57baf1c3d71f8bdc3a0c4bdb38c23b (diff) |
Include <== operator in LaTeX style file
Diffstat (limited to 'Util')
-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
|