Next: ‘@|’: Literal vertical bar, or optional line break, Previous: ‘@2’: Display detailed reductions of the scraps, Up: FWEB COMMANDS [Contents][Index]
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 `@@'");