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
