<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-15">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <font size="-1"><font face="Verdana">TeXworks translates IsoLatin5
        to ISO-8859-5 and IsoLatin9 to ISO-8859-9. I believe it's wrong,
        since Latin5 is ISO-8859-9 and Latin9 is ISO-8859-15 (I think
        TeXshop means LatinX by IsoLatinX).<br>
        <br>
        <br>
        % !TeX encoding = Latin5     --> status bar shows ISO-8859-9 
        (OK)<br>
        % !TeX encoding = IsoLatin5  --> status bar shows ISO-8859-5 
        (wrong?)<br>
        % !TeX encoding = Latin9     --> status bar shows ISO-8859-15
        (OK)<br>
        % !TeX encoding = IsoLatin9  --> status bar shows ISO-8859-9 
        (wrong?)<br>
        <br>
        <br>
        Ciao,<br>
        Antonio<br>
        <br>
      </font></font>
  </body>
</html>