diff --git a/format-master.xml b/format-master.xml
index f91bfb7..64a1049 100755
--- a/format-master.xml
+++ b/format-master.xml
@@ -232,6 +232,16 @@
 		<html><xsl:text disable-output-escaping="yes">&amp;#182;</xsl:text></html>
 	</template>
 
+	<template name="left-curly-bracket" match="left-curly-bracket|left-curly-brace|left-brace">
+		<latex>\ensuremath{\{}</latex>
+		<html><xsl:text disable-output-escaping="yes">{</xsl:text></html>
+	</template>
+
+	<template name="right-curly-bracket" match="right-curly-bracket|right-curly-brace|right-brace">
+		<latex>\ensuremath{\}}</latex>
+		<html><xsl:text disable-output-escaping="yes">}</xsl:text></html>
+	</template>
+
 	<!-- I think the pi symbol is only available in LaTeX in math mode, but if we're already in math mode, the extra $ signs will mess things up... -->
 	<!-- Use \ensuremath to resolve the problem. -->
 	<template name="pi" match="pi|project">
@@ -393,17 +403,17 @@
 		<html><xsl:text disable-output-escaping="yes">&amp;#8746;</xsl:text></html>
 	</template>
 
-	<template name="logical-and-operator" match="logical-and|and|and-operator|hat|wedge">
+	<template name="logical-and-operator" match="logical-and-operator|logical-and|and|and-operator|hat|wedge">
 		<latex>\ensuremath{\wedge}</latex>
 		<html><xsl:text disable-output-escaping="yes">&amp;#8743;</xsl:text></html>
 	</template>
 
-	<template name="logical-or-operator" match="logical-or|or|or-operator|vee">
+	<template name="logical-or-operator" match="logical-or-operator|logical-or|or|or-operator|vee">
 		<latex>\ensuremath{\vee}</latex>
 		<html><xsl:text disable-output-escaping="yes">&amp;#8744;</xsl:text></html>
 	</template>
 
-	<template name="logical-not-operator" match="logical-negation-operator|logical-negation|logical-not|not|negation|neg">
+	<template name="logical-not-operator" match="logical-not-operator|logical-negation-operator|logical-negation|logical-not|not|negation|neg">
 		<latex>\ensuremath{\neg}</latex>
 		<html><xsl:text disable-output-escaping="yes">&amp;#172;</xsl:text></html>
 	</template>
