COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;
αXDEFINE ⊗↔
αlαvα∞αz0⊗↔αlαvα∞αz1⊗↔αlαvα∞αz2⊗↔αlαvαβ⊗↓

αXDEFINE 0⊗↔
αdαs,αk:αs⊗=α αk⊗↔⊗↔αβ⊗↓

αXDEFINE 1⊗↔
αf:¬7¬⊗=α⊗↔α αdα⊗↔αβ⊗↓

αXDEFINE 2⊗↔
αf:¬7*⊗↔αxdef⊗↔αlα∞αz0⊗↔αlα∞αz1⊗↔αlα∞αz2⊗↔αlαβ⊗↓