Doc bug undefined special characters

In the PostgreSQL 7.1 Tutorial, filename relmodel-oper.html,
the HTML special characters ∣ and ∖ are used. They
are not recognized by either Netscape 4.76 or IE 5.5 and I cannot
find them in any of my HTML reference books.

Yes, I see that too. I also see mentions of π and σ.

My guess is that they were added to generate proper PDF/Postscript. I
just checked the PDF and Postscript for this in 7.1. Some of the
symbols are OK, but many are not right, like o` for SIGMA. It seems
that is not working 100% either.

Guys, how should we handle these?

--
  Bruce Momjian                        |  http://candle.pha.pa.us
  pgman@candle.pha.pa.us               |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026

Bruce Momjian writes:

In the PostgreSQL 7.1 Tutorial, filename relmodel-oper.html,
the HTML special characters ∣ and ∖ are used. They
are not recognized by either Netscape 4.76 or IE 5.5 and I cannot
find them in any of my HTML reference books.

Guys, how should we handle these?

We define an expansion for them. E.g.,

ENTITY setmn "\"

--
Peter Eisentraut peter_e@gmx.net http://funkturm.homeip.net/~peter