Encodings for Unicode Character 'DOUBLE-STRUCK SMALL PI' (U+213C)