Encodings for Unicode Character 'TRIPLE INTEGRAL' (U+222D)