y are two years behind their first promise of completion).  Watch the
skies!
</p>

<h1>How about a workaround?</h1>

<p>
BAN_ASCII.jt uses multi-character sequences to represent the BAN glyphs. Proofs you produce with it won't be readable under the normal BAN encoding (but if you ask, I guess I could produce a translator at short notice). 'Believes' is |=-; 'sees' is <|; 'says' is |~; and the other thing is |=>.</p>

<h1>What's the best Unicode font, then?</h1>

<p>
The best I know for Jape purposes is dist