Use unicode escapes for non-ASCII characters.