X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=advanced_topics%2Fmonads_in_category_theory.mdwn;h=d5c55d65447e6c4890d112a5510f59965a25e349;hp=deb5bace5b8656474b48d69a80d985c9bf5c493d;hb=37c4d3dde1f5d08f4913080b1e232248469d0077;hpb=4bc7f125d288c543b0d22f9f8e69775dc9460317

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index deb5bace..d5c55d65 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -233,7 +233,8 @@ If <code>&phi;</code> is a natural transformation from `F` to `M(1C)` and <code>
 	  = (((join 1C) G') -v- ((M unit) G') -v- (&phi; G'))
 	  = ((join (1C G')) -v- (M (unit G')) -v- &gamma;)
 	  = ((join G') -v- (M (unit G')) -v- &gamma;)
-	  since (unit G') is a natural transformation to MG', this satisfies the definition for <=<:
+	  since (unit G') is a natural transformation to MG',
+	  this satisfies the definition for &lt;=&lt;:
 	  = (unit G') <=< &gamma;
 </pre>
 
@@ -247,7 +248,8 @@ Similarly, if <code>&rho;</code> is a natural transformation from `1C` to `MR'`,
 	  = (((join R') -v- (M &rho;) -v- unit) G)
 	  = (((join R') G) -v- ((M &rho;) G) -v- (unit G))
 	  = ((join (R'G)) -v- (M (&rho; G)) -v- (unit G))
-	  since &gamma; = (&rho; G) is a natural transformation to MR'G, this satisfies the definition for <=<:
+	  since &gamma; = (&rho; G) is a natural transformation to MR'G,
+	  this satisfies the definition &lt;=&lt;:
 	  = &gamma; <=< (unit G)
 </pre>