@result{}
points to the result of an expression.
@expansion{}
shows the results of a macro expansion.
@print{}
indicates printed output.
@error{}
indicates that the following text is an error
message.
@equiv{}
indicates the exact equivalence of two forms.
@point{}
shows the location of point.