%+ calls a gate that takes two arguments.

%+(add 2 3) is 5.

irregular forms:

(gate a b) is %+(gate a b)

bind runs a gate inside a unit, leaving ~ untouched.

(bind (some 5) |=(n=@ (add n 1))) is [~ 6].

%: calls a gate with several arguments, gathering them into one sample.

%:(add 2 3) is 5.

irregular forms:

(gate a b c) is %:(gate a b c)

some wraps a value in a unit - [~ value].

(some 5) is [~ 5].

|= makes a gate: a function with one named sample, then a body.

the body runs with the sample bound.

call the gate to run it.

(|=(a=@ (add a 1)) 4) is 5.

$= wraps a mold with a face, naming the value it produces.

$=(x @) is the mold x=@.

add sums two atoms.

(add 2 3) is 5.