Encodings for U+1BE80