≠
Defined symbol.
Type:
pr
Arguments:
(st),
(st),
(st), 
(st), (st), (st),