Literal control characters

Several commands insert specific characters.

@@: The character @

@@ inserts the single character @.

Don't forget to double the @ even inside strings. For example, the FWEB source line

     puts("'@@' is represented by `@@@@'");
     

will be tangled to

     puts("'@' is represented by `@@'");