[Yutaka Emura]

It is probably easy to write a plug-in to insert a unicode character. I might write that plug-in. For now, you can use Character Map included in Windows to insert a character. Thanks!