Yes, please use the formal Unicode representation.