Non-ASCII operator symbols

The non-ASCII characters × (xD7) and ÷ (xF7) can be used in place of * and div to represent the multiplication and division operators.

The ＜ and ＞ characters (xFF1C and xFF1E) can be used in place of < and > to represent the less-than and greater-than operators; these characters can also be used in place of < and > in the compound tokens <=, >=, <<, >>, =>, ->, and =!>.

This feature is implemented from Saxon 12.3.