+ <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="blocks">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" />
+ </div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">This is a summary of available syntactic items and reductions (block structure).
+ </div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ <table cellpadding="4" cellspacing="0">
+ <tbody>
+ <tr>
+ <td class="snns top gray">domain</td>
+ <td class="snns top italic gray">block</td>
+ <td class="snns top gray">leader</td>
+ <td class="snns top gray">→ζ *</td>
+ <td class="snns top gray">annotator (with →ϵ *)</td>
+ <td class="snns top gray">applicator (with →θ *)</td>
+ <td class="snns top gray">reference *</td>
+ <td class="ssns top gray">reduction</td>
+ </tr>
+ <tr>
+ <td class="snns top">{X | Γ ⊢ ⊤}</td>
+ <td class="snns top italic wine">exclusion</td>
+ <td class="snns top wine">Γ ⊢ χ</td>
+ <td class="snns top wine">yes</td>
+ <td class="snns top wine">no</td>
+ <td class="snns top wine">no</td>
+ <td class="snns top wine">no</td>
+ <td class="ssns top wine">no</td>
+ </tr>
+ <tr>
+ <td class="snns top">{X | Γ ⊢ X : W}</td>
+ <td class="snns top italic magenta">typed abstraction</td>
+ <td class="snns top magenta">Γ ⊢ λW</td>
+ <td class="snns top magenta">no</td>
+ <td class="snns top magenta"><W></td>
+ <td class="snns top magenta">(V)</td>
+ <td class="snns top magenta">#i</td>
+ <td class="ssns top magenta">→β *</td>
+ </tr>
+ <tr>
+ <td class="snns top">{X | Γ ⊢ X = V}</td>
+ <td class="snns top italic prune">abbreviation</td>
+ <td class="snns top prune">Γ ⊢ δV</td>
+ <td class="snns top prune">yes</td>
+ <td class="snns top prune">no</td>
+ <td class="snns top prune">no</td>
+ <td class="snns top prune">#i</td>
+ <td class="ssns top prune">→δ</td>
+ </tr>
+ <tr>
+ <td class="snss top">no</td>
+ <td class="snss top italic blue">sort</td>
+ <td class="snss top blue">Γ ⊢ ⋆k</td>
+ <td class="snss top blue">no</td>
+ <td class="snss top blue">no</td>
+ <td class="snss top blue">no</td>
+ <td class="snss top blue">no</td>
+ <td class="ssss top blue">no</td>
+ </tr>
+ </tbody>
+ </table>
+ </div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">* In terms only.
+ </div>