Encodings for U+1B80C