From a8b683a3601b8fe482ed739b6fc462c2ce3c10c5 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Fri, 22 Jun 2012 19:14:05 -0700
Subject: Dafny: equality-support test cases.  This is just a snapshot--some
 things still to be fixed up.

---
 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 051d60f4..af789102 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -42,6 +42,7 @@
     % the following isn't actually Dafny, but it gives the option to produce nicer latex
     {<<}{$\langle$}1
     {>>}{$\rangle$}1
+    {(==)}{${}^{(=)}$}2
     {...}{$\ldots$}1
     {\\alpha}{$\alpha$}1
     {\\beta}{$\beta$}1
-- 
cgit v1.2.3