note theorbtwo <p><code>foo :foo </code>, or <code> foo: foo</code>. Both look reasonable clear to me.</p> <div class="pmsig"> <div class="pmsig-25047"> <p><hr> <font size="-2">Warning: Unless otherwise stated, code is untested. Do not use without understanding. Code is posted in the hopes it is useful, but without warranty. All copyrights are relinquished into the public domain unless otherwise stated. I am not an angel. I am capable of error, and err on a fairly regular basis. If I made a mistake, please let me know (such as by replying to this node).</font> </p> </div> </div> 348480 348522