Note 4: Doxygen accepts two command styles: \pre and @pre. They can be
mingled without a problem I think, but shall we try to use the slash?
\file, \brief, etc.
The main point of the "@" format is to be compatible with JavaDoc, which was the main thing to push such doc comments.
One factor for using the "@" form is to allow for different tools to be used in addition to Doxygen.
Another factor is to allow developers working on Java code to use a consistent format across source file types.