4.1.1 and 4.1.2 are rightly written so as to keep them independent of one another. It in part avoids wordiness in dealing with the fact that identifiers use double quotes while string literals use single quotes.
In Section 4.1.1, “Identifiers and Keywords”:
> U&“d\0061t\+000061”
This information, along with examples, is also provided in Section 4.1.2.3. String Constants with Escaped Unicode Characters
> U&'d\0061t\+000061'
Thus while these are indeed both similar to each other the so-called repetition is warranted.
