infix-type-constructors.md

@@ -22,7 +22,7 @@ That is, we want to define the type *constructor*`(+)`.  GHC's current choice (d
 ```
 
 
-Yuk. **So I propose that varsyms can be used as type constructors, and not as type variables.**
+Yuk. So I propose that varsyms can be used as type constructors, and not as type variables.
 
 
 Changes to the syntax may depend on whether [CompositionAsDot](composition-as-dot) is adopted, but roughly speaking we add