Make taggings quantifiers prettier using UTF8 symbols