Encodings for Unicode Han Character 'CJK UNIFIED IDEOGRAPH-25D80' (U+25D80)