These can be used almost everywhere, but you don't see them often
\deprecated why: if deprecated and why
\bug desc: if bug found and a description
\note desc: if you want to write a note with a description
An invariant is something (variable, property, ...) whose value after the call of a function, is the same as it was before the call.
A precondition is something that we are taking for true.
And a postcondition is something that we ensure to make it true after the call of the function.
\test description: a test that may be done
\pre description: preconditions
\post description: post conditions
\invariant description: invariant