browsing Mizar.org in Windows with IExplorer5

[DE MARINIS Marcello <Marcello.DeMarinis@omnitel.it>]

Hi all. I browse Mizar.org with Windows Internet Explorer 5 and I have got
two problems about the correct visualization of the HTML pages.

1)

As an example of my first problem, the summary of the Mizar article JORDAN1
of vol. 4 ("The Jordan's Property for Certain Subsets of the Plane") is
visualized in this manner:


Let $S$ be a subset of the topological Euclidean plane ${}{\cal E}^{2}_{\rm
T}{}$. We say that $S$ has Jordan's property if there exist two non-empty,
disjoint and connected subsets ${G_{1}}$ and ${G_{2}}$ of ${}{\cal
E}^{2}_{\rm T}{}$ such that $S \mathclose{^{\rm c}} = G_{1} \cup G_{2}$ and
$\overline{{G_{1}}} \setminus {G_{1}}= \overline{{G_{2}}}
\setminus{{G_{2}}}$ (see [14], [8]). The aim is to prove that the boundaries
of some special polygons in ${}{\cal E}^{2}_{\rm T}{}$ have this property
(see Section 3). Moreover, it is proved that both the interior and the
exterior of the boundary of any rectangle in ${}{\cal E}^{2}_{\rm T}{}$ is
open and connected.


Are those tokens from Latex syntax and it is impossible to read them better
or there exists some procedure to follow in order to avoid this unagreable
effect?


2)

The second problem is perhaps linked to the first one.

In the related "Contents" pages I find often at the bottom many rows like
this:


öÄîöÄY"GX""GX""GX""GX"


Once again: what is the reason of it and the manner to avoid it?

(I already read the forum's topics related to extended ASCII and I tried to
modify the settings of browser's "Encoding" but I don't understand still
what kind of encoding I could activate.)


Thanks to everyone who could help me.

________________________

Entra in www.omnitel.it. Ti aspetta un mondo di servizi on line