X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=418730ab61245b8ea028beaa3d67035b3632e77a;hb=0190aacddd4184c319896b01bb1acb29cb133485;hp=11159b5bc6f668a6e14f0976646c5e50398d1236;hpb=dacff1753db6ba443d9c7c72e46eebd96941cb90;p=spline3.git

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 11159b5..418730a 100644
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -264,7 +264,7 @@ prop_tetrahedron23_volumes_positive cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t3 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v2> and v3,v3-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c0120_identity1 :: Cube -> Bool
 prop_c0120_identity1 cube =
@@ -277,7 +277,7 @@ prop_c0120_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t3 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v2> and v3,v3-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c0210_identity1 :: Cube -> Bool
 prop_c0210_identity1 cube =
@@ -290,7 +290,7 @@ prop_c0210_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t3 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v2> and v3,v3-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c0300_identity1 :: Cube -> Bool
 prop_c0300_identity1 cube =
@@ -303,7 +303,7 @@ prop_c0300_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t3 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v2> and v3,v3-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c1110_identity :: Cube -> Bool
 prop_c1110_identity cube =
@@ -316,7 +316,7 @@ prop_c1110_identity cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t3 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v2> and v3,v3-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c1200_identity1 :: Cube -> Bool
 prop_c1200_identity1 cube =
@@ -329,7 +329,7 @@ prop_c1200_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t3 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v2> and v3,v3-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c2100_identity1 :: Cube -> Bool
 prop_c2100_identity1 cube =
@@ -343,7 +343,7 @@ prop_c2100_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t1 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v3> and v2,v2-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v3\> and v2,v2-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c0102_identity1 :: Cube -> Bool
 prop_c0102_identity1 cube =
@@ -356,7 +356,7 @@ prop_c0102_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t1 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v3> and v2,v2-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v3\> and v2,v2-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c0201_identity1 :: Cube -> Bool
 prop_c0201_identity1 cube =
@@ -369,7 +369,7 @@ prop_c0201_identity1 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t1 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v3> and v2,v2-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v3\> and v2,v2-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c0300_identity2 :: Cube -> Bool
 prop_c0300_identity2 cube =
@@ -382,7 +382,7 @@ prop_c0300_identity2 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t1 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v3> and v2,v2-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v3\> and v2,v2-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c1101_identity :: Cube -> Bool
 prop_c1101_identity cube =
@@ -395,7 +395,7 @@ prop_c1101_identity cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t1 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v3> and v2,v2-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v3\> and v2,v2-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c1200_identity2 :: Cube -> Bool
 prop_c1200_identity2 cube =
@@ -408,7 +408,7 @@ prop_c1200_identity2 cube =
 -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and
 --   fourth indices of c-t1 have been switched. This is because we
 --   store the triangles oriented such that their volume is
---   positive. If T and T-tilde share <v0,v1,v3> and v2,v2-tilde point
+--   positive. If T and T-tilde share \<v0,v1,v3\> and v2,v2-tilde point
 --   in opposite directions, one of them has to have negative volume!
 prop_c2100_identity2 :: Cube -> Bool
 prop_c2100_identity2 cube =