Several commands insert specific characters.
‘@@’ 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 `@@'");