From 2fa6ad2a4dbf072afd0b99e35c3dc5defedb0ad0 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Sun, 12 May 2013 21:32:39 -0700
Subject: Include <== operator in LaTeX style file

---
 Util/latex/dafny.sty | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Util')

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
-- 
cgit v1.2.3