Encodings for Unicode Character 'DOUBLE NESTED LESS-THAN WITH UNDERBAR' (U+2AA3)