∉
Defined symbol.
Type:
pr
Arguments:
(st),
(coll),
(st), 
(coll), (st), (coll),