5.2 Literal control characters

Several commands insert specific characters.

5.2.1 ‘@@’: 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 `@@'");