name "ground_2_src"
table {
- class "grey"
+ class "gray"
[ { "plane" * } {
[ "files" * ]
}
]
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"
]
}
-class "plane" { 0 }
+class "top" { * }
-class "file" { 1 * }
+class "italic" { 0 }