2 ms·

Yeah, GNU TeXinfo uses @ as its meta-character, so a source file needs @@ to produce @ in the output.