COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 ENDMK
C⊗;
.DEVICE XGP;
.SINGLESCRIPT
.SPACING 10*5 MILLS;
.PAGE FRAME 50 HIGH 80 WIDE
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 3 TO 50
.EVERY HEADING (Computer Science Reports,,{PAGE})
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr25" <<"METS">>;
.FONT 2 "BAXM30";
.FONT 3 "ngr30" <<"metsb">>;
.FONT 4 "fix25"
.<<font 4 "gacl25";>>
.font 5 "math30";
.font 6 "sup";
.font 7 "ms25";
.font 9 "sub";
.SELECT 1
.at "+" ⊂"%2α+%*"⊃
.at "-" ⊂"%2α-%*"⊃
.at "=" ⊂"%2α=%*"⊃
.at "<" ⊂"%2α<%*"⊃
.at ">" ⊂"%2α>%*"⊃
.at "↓[" txt "]" ⊂"%6txt%*"⊃
.at "↑[" txt "]" ⊂"%9txt%*"⊃
.at "<=>" ⊂"%2α<α=α>%*"⊃
.at "=>" ⊂"%2α=α>%*"⊃
.at "<=" ⊂"%2α<α=%*"⊃
.
.AT 8 ⊂ONCE INDENT 5;⊃
.at "@" ⊂"####"⊃
.
.PLACE TEXT;
.