!!
=/ a [p=3 q=4] =(a [3 4])

a face lives in the type, not the value: [p=3 q=4] is the very same noun as [3 4].

glossary

=/ pins a named value (a face) into the subject for the lines below it.

name=value optionally declares the type.

=/(a 3 (add a a)) is 6.

:* makes a tuple of many elements, nesting to the right.

:*(1 2 3) is [1 2 3].

irregular forms:

[a b c d] is :*(a b c d)

^= binds a name (a face) to a value - the name=value you see in samples and pins.

^=(a 5) is 5, labeled a.

irregular forms:

a=b is ^=(a b)

.= tests two nouns for equality, giving a loobean.

.=(3 3) is %.y, and .=(3 4) is %.n.

irregular forms:

=(a b) is .=(a b)