Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67

The interface, transcribed

Patch 2: the six-entry presentation package (Q2) › The interface, transcribed · lines 560–565

Write $E = {47, 5 a, 5 z, 6, 8, 9}$ for the six entries, $P_{int} = ⨁_{e \in E} P_{e}$ , $Rec = \sum_{e} Rec_{e}$ with $Rec_{e} : P_{e} \to D^{'} (W)$ , $K_{e} = Rec_{e} (P_{e})$ .

Nearby in this section

definition: Definition: Presentation interface; XIV-J
lemma: Lemma: Cross-entry null relations
section: The interface, transcribed