> MA> "System.out.println("\u2261");"
>
> Hmmm.. Looks the System.out writer is set up to smth like ISO-8859-1,
> so will this work?

"System.out" is a PrintStream so it depends on the default encoding. From
the JavaDocs:

        All characters printed by a PrintStream are converted into bytes using the
        platform's default character encoding. The PrintWriter class should be
        used in situations that require writing characters rather than bytes.

        http://java.sun.com/j2se/1.4/docs/api/index.html

If your platform default encoding is ISO-8859-1, than indeed
"System.out.println("\u2261");" isn't going to output, as its not in the
Unicode to ISO mappings -- http://www.unicode.org/Public/MAPPINGS/ISO8859/8859-1.TXT

>> Maybe doing ࣕ would be better in a general setting?

If you do this through a "System.out.write(&#2261)", it might be
interpretted as a byte instead of a character, which might actually make
it though the filters, though I think it would be best to try to tweak the
platform default encoding to UTF-8 instead.  If anyone has any emperical
evidence one way or another let me know.

                                                Michael Akerman

===========================================================================
To unsubscribe: mailto [EMAIL PROTECTED] with body: "signoff JSP-INTEREST".
For digest: mailto [EMAIL PROTECTED] with body: "set JSP-INTEREST DIGEST".
Some relevant FAQs on JSP/Servlets can be found at:

 http://archives.java.sun.com/jsp-interest.html
 http://java.sun.com/products/jsp/faq.html
 http://www.esperanto.org.nz/jsp/jspfaq.jsp
 http://www.jguru.com/faq/index.jsp
 http://www.jspinsider.com

Reply via email to