+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">bool ( Ⓕ ) ( Ⓣ )</td>
+ <td class="snnn top yellow">arith ( ?^? ) ( ⫯? ) ( ⫰? ) ( ? ∨ ? ) ( ? ∧ ? )</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">relations ( ? ⊆ ? )</td>
+ <td class="snnn top yellow">star</td>
+ <td class="snnn top yellow">lstar</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>