1<tr class="deltaTableRow">
2  <td class="element">
3    $ElementType(element=it.to):{<tt>$it$</tt>}$
4  </td>
5  <td class="delta">
6    $DeltaTypeSwitch(delta=it)$
7  </td>
8</tr>
9