<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; ">Fortress is using unicode, so that it can look more like mathematics. IIRC, they have an ASCII encoding that can be used for input or portability, but the language is designed to be typed with multiple fonts and wide range of glyphs.<DIV><BR><DIV><DIV>On 9 Apr 2007, at 2:49, J J wrote:</DIV><BR class="Apple-interchange-newline"><BLOCKQUOTE type="cite"><P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="4" style="font: 14.0px Helvetica"><SPAN class="Apple-converted-space"> </SPAN>But it is 2007, sooner or later one should be able to write mathematical code in mathematical symbols.<SPAN class="Apple-converted-space"> </SPAN>How much longer is paper going to be much more flexible then computers for writing things down? :)</FONT></P> </BLOCKQUOTE></DIV><BR><DIV> <SPAN class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><DIV>Andrew P. Black</DIV><DIV>Department of Computer Science</DIV><DIV>Portland State University</DIV><DIV>+1 503 725 2411</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV><BR class="Apple-interchange-newline"></SPAN></DIV><BR></DIV></BODY></HTML>