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