[PPL-devel] [GIT] ppl/ppl(master): Improved documentation for frequency.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: aa99fbdd05ff71b6ddd9ace3d7401ca4a967af5b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa99fbdd05ff71b6ddd9ace3d7401ca4a967af5b

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Mar 23 17:51:20 2010 +0000

Improved documentation for frequency.

---

 doc/definitions.dox |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index 6d9a73b..1a2a048 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2212,10 +2212,10 @@ the frequency \f$f\f$ and a value
 where \f$\vect{w} \in \cL\f$ and
 \f[
     |\mathrm{val}|
-       = \min\Bigl\{
+       = \min\Bigl\{\,
                \big|\langle \vect{a}, \vect{v} \rangle + b
                \big| \Bigm| \vect{v} \in \cL
-             \Bigr\}.
+             \,\Bigr\}.
 \f]
 
 Observe that the above definition is also applied to other simple objects in