+ <td class="snns top capitalize italic grass">natural numbers with infinity</td>
+ <td class="snns top italic grass" />
+ <td class="snns top grass">ynat ( ∞ )</td>
+ <td class="snnn top grass">ynat_pred ( ⫰? )</td>
+ <td class="snnn top grass">ynat_succ ( ⫯? )</td>
+ <td class="snnn top grass">ynat_le ( ? ≤ ? )</td>
+ <td class="snnn top grass">ynat_lt ( ? < ? )</td>
+ <td class="snnn top grass">ynat_minus ( ? - ? )</td>
+ <td class="snnn top grass">ynat_plus ( ? + ? )</td>
+ <td class="snnn top grass">ynat_max</td>
+ <td class="ssnn top grass">ynat_min</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic yellow">extensions to the library</td>