.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 (1.000000, 8.225000) to (1.000000, 8.062500);
line   from (0.800000, 8.150000) to (3.0,8.15);

line from (3.07,8.15) to (7.187500, 8.150000);

line from (3.1,8.2) to (3.0,8.1);
line from (3.05,8.2) to (2.95,8.1);

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

line -> from (1.5,7.6) to (2.7,7.6);
line -> from (3.45,7.6) to (4.6,7.6);
line -> from (1.0,7.4) to (1.0,7.1);
line -> from (5.0,7.4) to (5.0,7.1);

"\s10\fCP\fP" at (1.0,6.9) ;
"\s10\fCP\fP" at (5.0,6.9) ;
"\s18\fR. . .\fP" at (2.8,7.62) ljust;

"\s10\fC%t sub 0 %\fP" at (1.0,7.95) ;
"\s10\fC%t sub n-1 %\fP" at (5.0,7.95) ;
"\s10\fC%t sub n %\fP" at (7.0,7.95) ;

"\s10\fCkeep(P)\fP" at (1.0,7.6) ;
"\s10\fCkeep(P)\fP" at (5.0,7.6) ;

.PE
.EQ
delim %%
gfont C
.EN
