<tr class="deltaTableRow">
  <td class="element">
    $ElementType(element=it.to):{<tt>$it$</tt>}$
  </td>
  <td class="delta">
    $DeltaTypeSwitch(delta=it)$
  </td>
</tr>