Encodings for Unicode Character 'DOUBLE INTEGRAL' (U+222C)