<h1>Font problems in BAN logic encoding</h1>
<p>
Some of the characters used in the BAN.jt encoding aren't in widely-available Unicode fonts. All the machines Bernard and I have tested are missing or not correctly displaying at least the symbols used in the first four menus (believes, sees, says, and whatever the bar-with-double-arrow is called). That's true even when using  the best Unicode fonts we can find (see below), and on all the platforms we know about: Linux, Windows, Solaris and MacOS X.
</p>

<p>