diff --git a/language/types/integer.xml b/language/types/integer.xml
index 898cdafd1d..e01b28bf16 100644
--- a/language/types/integer.xml
+++ b/language/types/integer.xml
@@ -5,7 +5,7 @@
An integer is a number of the set
- ℤ = {..., -2, -1, 0, 1, 2, ...}.
+ ℤ = {..., -2, -1, 0, 1, 2, ...}.