changeset 752:3b216d67f51d

Marked litteral block as such.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 14 May 2008 09:35:49 +0200
parents 5dd8c277268c
children baa3cba7fda1
files viff/comparison.py
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/viff/comparison.py	Tue May 13 16:28:41 2008 +0200
+++ b/viff/comparison.py	Wed May 14 09:35:49 2008 +0200
@@ -128,10 +128,10 @@
     def _diamond(self, (top_a, bot_a), (top_b, bot_b)):
         """The "diamond-operator".
 
-        Defined by
+        Defined by::
 
-        (x, X) `diamond` (0, Y) = (0, Y)
-        (x, X) `diamond` (1, Y) = (x, X)
+          (x, X) `diamond` (0, Y) = (0, Y)
+          (x, X) `diamond` (1, Y) = (x, X)
         """
         top = top_a * top_b
         bot = top_b * (bot_a ^ bot_b) ^ bot_b