Issue 1257: Agda.sty in XeTeX typesets identifiers in math mode, causing weird spacing

Fixing the issue of identifiers containing operators being typeset with excessive math spacing when using the LaTeX backend in XeTeX.