@@ stands for a single ‘@’ in either printed or Info output.
@@
Do not put braces after an @@ command.
This document was generated on a sunny day using texi2html.