You could use a unicode escape in the source here.