# Now the ones that have to be replaced by special escapes
# (which will be turned back into text by unmunge())
s/&/&/g;
+ s/\@\@/&at;/g;
s/\@\{/{/g;
s/\@\}/}/g;
- s/\@\@/&at;/g;
# Inside a verbatim block, handle @var specially.
if ($shift ne "") {