@top command is a special sectioning command that you use
only after an
@node Top line at the beginning of a Texinfo file.
@top command tells the
which node is the `Top'
node. It has the same typesetting effect as
For detailed information, see
@top Sectioning Command.