From 371a80eac9b930d2c442df07d5cd1622bc9c6e96 Mon Sep 17 00:00:00 2001
From: Justin Martin <frozenfire@php.net>
Date: Mon, 5 Dec 2011 23:26:30 +0000
Subject: [PATCH] Replaced Zahlen literal with character entity. Fixes bug
 #54088.

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@320469 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 898cdafd1d..e01b28bf16 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
-  ℤ = {..., -2, -1, 0, 1, 2, ...}.
+  &#8484; = {..., -2, -1, 0, 1, 2, ...}.
  </simpara>
   
  <para>