From a92b44ef99a5e2c396aeb1dd60f4baba0519cb5d Mon Sep 17 00:00:00 2001
From: Karoly Negyesi <chx@php.net>
Date: Mon, 10 Jan 2011 09:13:26 +0000
Subject: [PATCH] Use the correct Unicode character for the integer set
git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@307334 c90b9560-bf6c-de11-be94-00142212c4b1
---
language/types/integer.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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>