# MATH now introduce other relational operators
# After this lesson, it should be clear what contexts
# < > and = are appropriate in.
[hear] (intro >);
[hear] (> (unary 1 1 1 1 0) (unary 0));
[hear] (> (unary 1 1 1 1 0) (unary 1 0));
[hear] (> (unary 1 1 1 0) (unary 0));
[hear] (> (unary 1 1 1 1 1 0) (unary 1 1 1 0));
[hear] (> (unary 1 1 0) (unary 0));
[hear] (> (unary 1 0) (unary 0));
[hear] (> (unary 1 1 0) (unary 0));
[hear] (> (unary 1 1 0) (unary 0));
[hear] (> (unary 1 1 1 0) (unary 0));
[hear] (> (unary 1 0) (unary 0));
[hear] (> (unary 1 1 1 1 1 0) (unary 1 1 0));
[hear] (intro <);
[hear] (< (unary 1 1 0) (unary 1 1 1 1 1 0));
[hear] (< (unary 0) (unary 1 1 0));
[hear] (< (unary 0) (unary 1 1 1 1 1 0));
[hear] (< (unary 1 0) (unary 1 1 1 0));
[hear] (< (unary 0) (unary 1 1 1 0));
[hear] (< (unary 1 0) (unary 1 1 1 0));
[hear] (< (unary 1 1 0) (unary 1 1 1 1 1 1 0));
[hear] (< (unary 0) (unary 1 0));
[hear] (< (unary 0) (unary 1 1 1 1 1 1 0));
[hear] (< (unary 0) (unary 1 1 1 1 1 1 0));
[hear] (< (unary 1 0) (unary 1 1 1 1 0));
# drive the lesson home
[hear] (= (unary 0) (unary 0));
[hear] (< (unary 0) (unary 1 0));
[hear] (< (unary 0) (unary 1 1 0));
[hear] (> (unary 1 0) (unary 0));
[hear] (= (unary 1 0) (unary 1 0));
[hear] (< (unary 1 0) (unary 1 1 0));
[hear] (> (unary 1 1 0) (unary 0));
[hear] (> (unary 1 1 0) (unary 1 0));
[hear] (= (unary 1 1 0) (unary 1 1 0));
[hear] (< (unary 1 0) (unary 1 1 1 1 1 0));
[hear] (< (unary 1 0) (unary 1 1 1 1 0));
[hear] (< (unary 0) (unary 1 0));
[hear] (> (unary 1 1 1 1 0) (unary 0));
[hear] (< (unary 1 1 0) (unary 1 1 1 0));
[hear] (> (unary 1 1 1 1 0) (unary 1 0));
[hear] (< (unary 0) (unary 1 1 1 1 1 0));
[hear] (> (unary 1 0) (unary 0));
[hear] (< (unary 1 0) (unary 1 1 1 1 0));
[hear] (> (unary 1 1 0) (unary 0));
[hear] (< (unary 1 0) (unary 1 1 0));