WyC: added support for various unicode operators (e.g. subset, etc)