# MATH now introduce other relational operators
# After this lesson, it should be clear what contexts
# < > and = are appropriate in.
# drive the lesson home
[hear] (=-in-unary 010 010);
[hear] (>-in-unary 0110 010);
[hear] (>-in-unary 01110 010);
[hear] (>-in-unary 011110 010);
[hear] (<-in-unary 010 0110);
[hear] (=-in-unary 0110 0110);
[hear] (>-in-unary 01110 0110);
[hear] (>-in-unary 011110 0110);
[hear] (<-in-unary 010 01110);
[hear] (<-in-unary 0110 01110);
[hear] (=-in-unary 01110 01110);
[hear] (>-in-unary 011110 01110);
[hear] (<-in-unary 010 011110);
[hear] (<-in-unary 0110 011110);
[hear] (<-in-unary 01110 011110);
[hear] (=-in-unary 011110 011110);
[hear] (>-in-unary 010 00);
[hear] (>-in-unary 01111111110 0110);
[hear] (>-in-unary 01111110 00);
[hear] (>-in-unary 0110 00);
[hear] (>-in-unary 0111111110 0110);
[hear] (>-in-unary 011110 010);
[hear] (>-in-unary 0110 00);
[hear] (>-in-unary 011111111110 010);
[hear] (>-in-unary 01111110 010);
[hear] (>-in-unary 01111111110 010);
[hear] (>-in-unary 011111110 010);
[hear] (<-in-unary 00 010);
[hear] (<-in-unary 01110 011111111110);
[hear] (<-in-unary 011110 01111111110);
[hear] (<-in-unary 0110 011110);
[hear] (<-in-unary 010 011111110);
[hear] (<-in-unary 00 011111111110);
[hear] (<-in-unary 00 0110);
[hear] (<-in-unary 00 0110);
[hear] (<-in-unary 010 01110);
[hear] (<-in-unary 0110 0111110);
[hear] (<-in-unary 010 011110);
# switch to binary labelling for commands
[hear] (= 010 010);
[hear] (> 0110 010);
[hear] (> 01110 010);
[hear] (> 011110 010);
[hear] (< 010 0110);
[hear] (= 0110 0110);
[hear] (> 01110 0110);
[hear] (> 011110 0110);
[hear] (< 010 01110);
[hear] (< 0110 01110);
[hear] (= 01110 01110);
[hear] (> 011110 01110);
[hear] (< 010 011110);
[hear] (< 0110 011110);
[hear] (< 01110 011110);
[hear] (= 011110 011110);
# a few more random examples
[hear] (< 01110 011110);
[hear] (= 011110 011110);
[hear] (< 010 0111110);
[hear] (> 011110 00);
[hear] (> 0111110 011110);
[hear] (< 0110 01110);
[hear] (> 0110 010);
[hear] (> 0111110 010);
[hear] (= 01110 01110);
[hear] (= 01110 01110);
[hear] (> 010 00);