On 8 July 2016 at 10:52, Clem Cole <clemc@ccc.com> wrote (in part):
> I do not remember ever using, much less needed to
> refer to, the character "back slash"

printf("I do not remember ever using, much less needed to\n\
 refer to, the character \"back slash\"\n");

And thank you for the very interesting historical notes.

N.