@robpike @nuintari
Switch to the Japanese code page and use ¥.