-- Special symbol: props
props are atoms which have any property other than those explicitly mentioned in
infolists, such as specified by
matchdeclare, etc., as well as properties specified in the
There are also some inexact matches for
?? props to see them.
(%o1) true (%i2)