12.9.1 Glyphs Summary

Here is a summary of the glyph commands:

⇒

@result{} indicates the result of an expression.

→

@expansion{} indicates the results of a macro expansion.

-|

@print{} indicates printed output.

error→

@error{} indicates the following text is an error message.

≡

@equiv{} indicates the exact equivalence of two forms.

∗

@point{} shows the location of point.

A → B

@clicksequence{A @click{} B indicates a GUI operation sequence: first A, then clicking B, or choosing B from a menu, or otherwise selecting it.