Hi,<br><br>Perhaps I&#39;m missing something, but I haven&#39;t found an answer to this question in the textbook I have been using (Thompson) or through Google/Hoogle: can a String include Unicode characters? For instance, if I am defining an instance of Show Expr, where Expr models simple arithmetic expressions (or Show Seq, where Seq models a sequent calculus, and so forth), could I define a function <i>show Pi</i> = U+03C0 or <i>show Delta</i> = U+0395? Perhaps the answer is obvious, but I haven&#39;t been able to find it.