!!
comparison
(gth 5 3)

gth: is the first greater than the second?

glossary

%: 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)

gth asks whether the first atom is strictly greater than the second.

(gth 5 3) is %.y.