diff --git a/language/types/integer.xml b/language/types/integer.xml
index bd3bb115bf..3606892b78 100644
--- a/language/types/integer.xml
+++ b/language/types/integer.xml
@@ -5,7 +5,7 @@
  
  <simpara>
   An <type>integer</type> is a number of the set
-  Z = {..., -2, -1, 0, 1, 2, ...}.
+  ℤ = {..., -2, -1, 0, 1, 2, ...}.
  </simpara>
   
  <para>