TextExpander snippets for Unicode Math symbols