diff options
-rw-r--r-- | Util/latex/dafny.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 644e7581..56b92a1e 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -47,7 +47,7 @@ {<<}{$\langle$}1
{>>}{$\rangle$}1
{(==)}{${}^{(=)}$}2
- {...}{$\ldots$}1
+ {...}{$\ldots$}2
{\\alpha}{$\alpha$}1
{\\beta}{$\beta$}1
{\\gamma}{$\gamma$}1
|