[PPL-devel] [GIT] ppl/ppl(floating_point): Added Latex macro for abstract division.
Fabio Biselli
fabio.biselli at studenti.unipr.it
Tue Sep 8 14:11:23 CEST 2009
Module: ppl/ppl
Branch: floating_point
Commit: 26d546f62d36497e70ab0118e67302d46b2072cd
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d546f62d36497e70ab0118e67302d46b2072cd
Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date: Tue Sep 8 16:09:33 2009 +0200
Added Latex macro for abstract division.
---
doc/ppl.sty | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/doc/ppl.sty b/doc/ppl.sty
index 1406cf3..0015104 100644
--- a/doc/ppl.sty
+++ b/doc/ppl.sty
@@ -189,6 +189,6 @@
\newcommand*{\aslf}{\boxplus^{\#}_{\mathbf{f}}}
\newcommand*{\adlf}{\boxminus^{\#}_{\mathbf{f}}}
-%\newcommand*{\adivlf}{\oslash^{\#}_{\mathbf{f}}}
+\newcommand*{\adivlf}{\boxslash^{\#}_{\mathbf{f}}}
\newcommand*{\amlf}{\boxtimes^{\#}_{\mathbf{f}}}
More information about the PPL-devel
mailing list