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