Left: Fail
Up: Standard library function functions
Right: Reverse
Idem maps a path to the corresponding sequence of atoms.
Idem:
<> ==
<$x> == $x <>.
Idem:<a b c> = a b c.
See also LocalPath.
Copyright © Roger Evans, Gerald Gazdar & Bill Keller, Tuesday 10 November 1998