gives the tail of a list.
is a list.
) returns the list
without its first element.
is empty, the command will fail with an error.
can also be used with end-elliptic lists. In this case, the result of
is also an end-elliptic list.
Go back to the list of commands