diff --git a/format-master.xml b/format-master.xml
index 6befa94..ec589a4 100755
--- a/format-master.xml
+++ b/format-master.xml
@@ -226,6 +226,11 @@
 		<html><xsl:text disable-output-escaping="yes">&amp;#8712;</xsl:text></html>
 	</template>
 	
+	<template name="not-element-sign" match="not-element-sign|not-element|not-element-of|is-not-element-of|is-not-an-element-of">
+		<latex>\ensuremath{\not\in}</latex>
+		<html><xsl:text disable-output-escaping="yes">&amp;#8713;</xsl:text></html>
+	</template>
+	
 	<template name="subset-sign" match="subset-sign|subset|subset-of|is-subset-of|is-a-subset-of">
 		<latex>\ensuremath{\subset}</latex>
 		<html><xsl:text disable-output-escaping="yes">&amp;#8834;</xsl:text></html>
