<div dir="ltr"><br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><div class="h5"><br>
<br></div></div>
There were several problems with the newly-added code for \primitive, etc.; please try rev 943 (xetex 0.9993.0) and see if this works reliably for you now.<br><font color="#888888">
<br>
JK<br>
</font></blockquote><div><br>Yes, that works fine. Thanks for fixing it. <br></div></div><br></div>