From af30809dbd15c232509efe3ca07b80ce7cbb02e4 Mon Sep 17 00:00:00 2001
From: Louis Dionne <ldionne.2@gmail.com>
Date: Mon, 30 Jun 2014 10:38:21 -0400
Subject: [PATCH] Use code instead of Latex in Comparable laws.

---
 include/boost/hana/comparable.hpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/include/boost/hana/comparable.hpp b/include/boost/hana/comparable.hpp
index 13df81f3d..911f74f58 100644
--- a/include/boost/hana/comparable.hpp
+++ b/include/boost/hana/comparable.hpp
@@ -27,11 +27,11 @@ namespace boost { namespace hana {
     ## Laws
     `equal` must define an equivalence relation. In other words, for all
     `a`, `b`, `c` of comparable data types,
-    @f{align*}{
-        a = a                                && \text{Reflexivity}      \\
-        a = b \Rightarrow b = a              && \text{Symmetry}         \\
-        a = b \wedge b = c \Rightarrow a = c && \text{Transitivity}
-    @f}
+    @code
+        a == a                          // Reflexivity
+        if a == b then b == a           // Symmetry
+        if a == b && b == c then a == c // Transitivity
+    @endcode
 
     --------------------------------------------------------------------------