]
class "yellow"
[ { "natural numbers with infinity" * } {
- [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )" "ynat_le ( ?≤? )" "ynat_lt ( ?<? )" * ]
+ [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
+ "ynat_le ( ?≤? )" "ynat_lt ( ?<? )"
+ "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )"
+ "ynat_max" "ynat_min" * ]
}
]
class "orange"