# 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] (=-in-unary 010 010);
[hear] (=-in-unary 0110 0110);
[hear] (=-in-unary 01110 01110);
[hear] (=-in-unary 011110 011110);
[hear] (=-in-unary 0111110 0111110);
[hear] (=-in-unary 01111110 01111110);
[hear] (=-in-unary 011111110 011111110);
[hear] (=-in-unary 0111111110 0111111110);
[hear] (=-in-unary 010 010);
[hear] (=-in-unary 01111110 01111110);
[hear] (=-in-unary 0110 0110);