checked the Unicode pipeline; our proposed characters are not in it.