- [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
- "ynat_le ( ?≤? )" "ynat_lt ( ?<? )"
- "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )"
- "ynat_max" "ynat_min" * ]
+ [ { "" * } {
+ [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
+ "ynat_le ( ? ≤ ? )" "ynat_lt ( ? < ? )"
+ "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )"
+ "ynat_max" "ynat_min" *
+ ]
+ }
+ ]