OneIdentity

OneIdentity
is an attribute that can be assigned to a symbol f to indicate that , , etc. are all equivalent to x for the purpose of pattern matching.

DetailsDetails

Introduced in 1988
(1.0)
| Updated in 2003
(5.0)