x @ y
x @ y @ z
x @ y * z
x + y @ z
z @= x