On 8 July 2016 at 10:52, Clem Cole <clemc(a)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.