@result{} (⇒): Result of an Expression ¶Use the @result{} command to indicate the result of
evaluating an expression.
The @result{} command is displayed as ‘⇒’,
either a double stemmed arrow or (when that is not available) the
ASCII sequence ‘=>’.
Thus, the following,
(cdr '(1 2 3))
⇒ (2 3)
may be read as “(cdr '(1 2 3)) evaluates to (2 3)”.