Add quote command, and use it

diff --git a/cλash.tex b/cλash.tex
index 3c16f27731747427b9bb1bb675f5ea49d05894ef..8445953825739811616310570f31323065fe71bb 100644 (file)
--- a/cλash.tex
+++ b/cλash.tex
@@ -678,9 +678,9 @@ sumif _ _ _ = 0
         structure. In fact, the built-in tuple types are just algebraic product
         types (and are thus supported in exactly the same way).
 
-        The ``product'' in its name refers to the collection of values belonging
-        to this type. The collection for a product type is the Cartesian
-        product of the collections for the types of its fields.
+        The \quote{product} in its name refers to the collection of values 
+        belonging to this type. The collection for a product type is the 
+        Cartesian product of the collections for the types of its fields.
 
         These types are translated to \VHDL\ record types, with one field for
         every field in the constructor. This translation applies to all single
@@ -705,7 +705,7 @@ sumif _ _ _ = 0
         for our purposes this distinction does not really make a
         difference, so this distinction is note made.
 
-        The ``sum'' in its name refers again to the collection of values
+        The \quote{sum} in its name refers again to the collection of values
         belonging to this type. The collection for a sum type is the
         union of the the collections for each of the constructors.