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