# MATH introduce equality for unary numbers
       # The intro operator does nothing essential, and could be
       # omitted - it just tags the first use of a new operator.
       # The = operator is introduced alongside a duplication of
       # unary numbers. The meaning will not quite by nailed down
       # until we see other relational operators.
[
hear] (intro =);

[hear] (= (unary 1 1 1 0) (unary 1 1 1 0));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 0) (unary 1 1 1 1 1 1 1 1 1 0));

[hear] (= (unary 1 1 1 1 1 1 1 0) (unary 1 1 1 1 1 1 1 0));

[hear] (= (unary 1 1 1 1 1 1 0) (unary 1 1 1 1 1 1 0));

[hear] (= (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0));