diff options
| author |  wuestholz <unknown> | 2010-09-30 13:54:49 +0000 |
|---|---|---|
| committer | wuestholz <unknown> | 2010-09-30 13:54:49 +0000 |
| commit | ea9670b9078d411c2867b05c5716d75724d54db4 (patch) | |
| tree | fbe2a70ae023cc550e875c062f1be23177a7c15c /Util/latex | |
| parent | 84b3cb0f57bd433fe321c9437b866a770a206e9b (diff) | |
Util: Minor changes to the LaTeX listings packages for Boogie and Dafny.
Diffstat (limited to 'Util/latex')
| -rw-r--r-- | Util/latex/dafny.sty | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 9eb941de..e82ed0dc 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -26,13 +26,14 @@ {&&}{$\land$}1
{||}{$\lor$}1
{<=}{$\le$}1
- {=>}{$\ge$}1
+ {>=}{$\ge$}1
% the following isn't actually Dafny, but it gives the option to produce nicer latex
{|=>}{$\Rightarrow$}2
{<=set}{$\subseteq$}1
{+set}{$\cup$}1
{*set}{$\cap$}1
{==>}{$\Longrightarrow$}3
+ {=>}{$\Rightarrow$}2
{<==>}{$\Longleftrightarrow$}4
{forall}{$\forall$}1
{exists}{$\exists$}1
|