Section 2
Want more of a challenge? View in iconic form (experimental)



       # MATH now introduce other relational operators
       # After this lesson, it should be clear what contexts
       # < > and = are appropriate in.
[hear] (>-in-unary 01111110 0110);

[hear] (>-in-unary 0110 00);

[hear] (>-in-unary 010 00);

[hear] (>-in-unary 01110 010);

[hear] (>-in-unary 010 00);

[hear] (>-in-unary 011110 00);

[hear] (>-in-unary 010 00);

[hear] (>-in-unary 0110 00);

[hear] (>-in-unary 010 00);

[hear] (>-in-unary 01111110 00);

[hear] (>-in-unary 0110 00);

[hear] (<-in-unary 0110 011110);

[hear] (<-in-unary 00 01111110);

[hear] (<-in-unary 01110 01111110);

[hear] (<-in-unary 00 01110);

[hear] (<-in-unary 0110 011110);

[hear] (<-in-unary 00 0110);

[hear] (<-in-unary 0110 011110);

[hear] (<-in-unary 010 01110);

[hear] (<-in-unary 0110 01111110);

[hear] (<-in-unary 0110 0111110);

[hear] (<-in-unary 00 0111110);

       # drive the lesson home
[hear] (=-in-unary 00 00);

[hear] (<-in-unary 00 010);

[hear] (<-in-unary 00 0110);

[hear] (>-in-unary 010 00);

[hear] (=-in-unary 010 010);

[hear] (<-in-unary 010 0110);

[hear] (>-in-unary 0110 00);

[hear] (>-in-unary 0110 010);

[hear] (=-in-unary 0110 0110);

       # switch to binary labelling
[hear] (= 00 00);

[hear] (< 00 010);

[hear] (< 00 0110);

[hear] (> 010 00);

[hear] (= 010 010);

[hear] (< 010 0110);

[hear] (> 0110 00);

[hear] (> 0110 010);

[hear] (= 0110 0110);

       # a few more random examples
[hear] (> 0111110 010);

[hear] (> 0111110 0110);

[hear] (> 0111110 010);

[hear] (> 011110 00);

[hear] (< 0110 011110);

[hear] (< 0110 01110);

[hear] (< 010 01110);

[hear] (< 011110 0111110);

[hear] (< 00 0111110);

[hear] (< 01110 011110);

[hear] (< 010 01110);