<div dir="ltr"><div class="gmail_extra">Hello Tony,</div><div class="gmail_extra">Feel free to file a bug report. If there are no spaces between operator characters, then they should be parsed as a single operator.</div></div>