81F04
SYMBN
( ob1..obn #n → sym )
sym
055D3
NULLSYMB
( → sym )
8320F
symcomp
( ob → ob' )
ONE
82E8B
SWAPcompSWAP
( ob ob' → ob" ob' )
SWAP