[PATCH] manual: Use Unicode instead HTML entities for characters (bug 19737)

[Florian Weimer]

Texinfo no longer treats arguments to @set in @ifhtml blocks as
literal HTML, so the & in the entity references was encoded as
@amp; in HTML.  Using the equivalent Unicode characters avoids
this issue.

---
 manual/math.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/manual/math.texi b/manual/math.texi
index dcff7b7f41..376306cfc5 100644
--- a/manual/math.texi
+++ b/manual/math.texi
@@ -1,9 +1,9 @@
 @c We need some definitions here.
 @ifclear mult
 @ifhtml
-@set mult ·
-@set infty ∞
-@set pie π
+@set mult @U{00B7}
+@set infty @U{221E}
+@set pie @U{03C0}
 @end ifhtml
 @iftex
 @set mult @cdot