- <td class="snns plane yellow">natural numbers with infinity</td>
- <td class="snns file yellow">ynat ( ∞ )</td>
- <td class="snnn file yellow">ynat_pred ( ⫰? )</td>
- <td class="snnn file yellow">ynat_succ ( ⫯? )</td>
- <td class="snnn file yellow">ynat_le ( ?≤? )</td>
- <td class="snnn file yellow">ynat_lt ( ?<? )</td>
- <td class="snnn file yellow">ynat_minus ( ? - ? )</td>
- <td class="snnn file yellow">ynat_plus ( ? + ? )</td>
- <td class="snnn file yellow">ynat_max</td>
- <td class="ssnn file yellow">ynat_min</td>
+ <td class="snns top italic yellow">natural numbers with infinity</td>
+ <td class="snns top yellow">ynat ( ∞ )</td>
+ <td class="snnn top yellow">ynat_pred ( ⫰? )</td>
+ <td class="snnn top yellow">ynat_succ ( ⫯? )</td>
+ <td class="snnn top yellow">ynat_le ( ?≤? )</td>
+ <td class="snnn top yellow">ynat_lt ( ?<? )</td>
+ <td class="snnn top yellow">ynat_minus ( ? - ? )</td>
+ <td class="snnn top yellow">ynat_plus ( ? + ? )</td>
+ <td class="snnn top yellow">ynat_max</td>
+ <td class="ssnn top yellow">ynat_min</td>