.EQ
delim %%
gfont C
.EN
.RS
.PS
scale=1.2
line   from (7.000000, 8.225000) to (7.000000, 8.062500);
line   from (5.000000, 8.225000) to (5.000000, 8.062500);
line   from (3.000000, 8.225000) to (3.000000, 8.062500);
line   from (1.000000, 8.225000) to (1.000000, 8.062500);
line   from (0.800000, 8.150000) to (7.187500, 8.150000);

line -> from (1.5,7.4) to (2.4,7.4);
line -> from (3.5,7.4) to (4.4,7.4);
line -> from (5.6,7.4) to (6.3,7.4);

line -> from (1.0,7.0) to (1.0,6.7);
line -> from (3.0,7.0) to (3.0,6.7);
line -> from (5.0,7.1) to (5.0,6.7);
line -> from (7.0,7.2) to (7.0,6.7);

line from (1.0,8.15) to (1.1,8.65);
line from (1.1,8.65) to (7.0,8.65);
line dashed from (7.0,8.65) to (7.0,8.15);

"\s10\fC%t sub 0 %\fP" at (1.0,7.95) ;
"\s10\fC%t sub 1 %\fP" at (3.0,7.95) ;
"\s10\fC%t sub 2 %\fP" at (5.0,7.95) ;
"\s10\fC%t sub 3 %\fP" at (7.0,7.95) ;

"\s10\fC@p(X),\fP" at (1.0,7.7) ;
"\s10\fC@ @q(Y),\fP" at (1.0,7.5) ;
"\s10\fCfin(X = Y),\fP" at (1.0,7.3) ;
"\s10\fC#write((X,Y)).\fP" at (1.0,7.1) ;

"\s10\fC@p(X),\fP" at (3.0,7.7) ;
"\s10\fC@q(Y),\fP" at (3.0,7.5) ;
"\s10\fCfin(X = Y),\fP" at (3.0,7.3) ;
"\s10\fC#write((X,Y)).\fP" at (3.0,7.1) ;

"\s10\fCq(X),\fP" at (5.0,7.6) ;
"\s10\fCfin(X = Y),\fP" at (5.0,7.4) ;
"\s10\fC#write((X,Y)).\fP" at (5.0,7.2) ;

"\s10\fCfin(X = Y),\fP" at (7.0,7.5) ;
"\s10\fC#write((X,Y)).\fP" at (7.0,7.3) ;

"\s10\fCwrite((X,Y)).\fP" at (1.0,6.5) ;
"\s10\fCp(X),\fP" at (3.0,6.5) ;
"\s10\fCwrite((X,Y)).\fP" at (3.0,6.3) ;
"\s10\fCq(Y),\fP" at (5.0,6.5) ;
"\s10\fCwrite((X,Y)).\fP" at (5.0,6.3) ;
"\s10\fCwrite((X,Y)),\fP" at (7.0,6.5) ;
"\s10\fCX = Y.\fP" at (7.0,6.3) ;

"\s10\fCX\fP" at (0.5,6.0) ljust;
"\s10\fC\(em\fP" at (1.0,6.0) ;
"\s10\fC1\fP" at (3.0,6.0) ;
"\s10\fC1\fP" at (5.0,6.0) ;
"\s10\fC1\fP" at (7.0,6.0) ;

"\s10\fCY\fP" at (0.5,5.8) ljust;
"\s10\fC\(em\fP" at (1.0,5.8) ;
"\s10\fC\(em\fP" at (3.0,5.8) ;
"\s10\fC1\fP" at (5.0,5.8) ;
"\s10\fC1\fP" at (7.0,5.8) ;
.PE
.EQ
delim %%
gfont C
.EN
