Version: (using KDE KDE 3.2.1) Installed from: Debian testing/unstable Packages Note: this is a forward of the following Debian bug report: dbug:238833 The original text follows: The following document is not rendered correctly. Fonts tried were Arial, Bitstream Vera and Times New Roman. <?xml version="1.0" encoding="ISO-8859-1"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <title>test</title> </head> <body> <p> ∀ x ∈ N: x < x+1 ∧ x > x-1 </p> </body> </html> I'm assuming the element is not known by khtml since a 'grep forall khtml/ -r" didn't return anything useful. While at it, maybe someone should go over the following list of elements: http://www.w3.org/TR/xhtml1/DTD/xhtml-symbol.ent cheers domi
Entities are defined in kdelibs/kdecore/kentities.gperf, not inside the KHTML dir. This is probably a font availability or font matching issue, nothing to do with the entities per se
You're right. Sorry for the noise thanks domi