Encodings for Unicode Character 'END OF PROOF' (U+220E)