Encodings for Unicode Character 'INTEGRAL EXTENSION' (U+23AE)