3 ms·

I think that's just the markup for a single @-sign.

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