gmail and unicode, or not?
I was trying for ages to filter gmail-messages by labels substituted by Unicode characters until I found out that those fancy looking symbols weren’t the problem: SPACES have to be replaced by dashes
So a
✎ foobar
becomes
✎-foobar
an everything works fine. Ouch…