Encodings for Unicode Han Character 'mantis' (U+87F7)