⊂ top bot
⊂ sign top bot

a ← x + +/y

a ← x plus plus/y

Orth, 1981