.EQ
delim %%
gfont C
.EN
.RS
.PS
scale=1.2
line   from (7.000000, 8.225000) to (7.000000, 8.062500);
line   from (5.800000, 8.225000) to (5.800000, 8.062500);
line   from (4.600000, 8.225000) to (4.600000, 8.062500);
line   from (3.400000, 8.225000) to (3.400000, 8.062500);
line   from (2.200000, 8.225000) to (2.200000, 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 dashed from (2.15,8.65) to (2.15,8.15);
line from (2.3,8.65) to (2.3,8.15);
line from (3.4,8.65) to (3.4,8.15);
line from (4.6,8.65) to (4.6,8.15);
line from (5.8,8.65) to (5.8,8.15);

line -> from (2.35,8.5) to (3.35,8.5);
line -> from (3.45,8.5) to (4.55,8.5);
line -> from (4.65,8.5) to (5.75,8.5);

"\s10\fC%I sub 1 ~=~ t sub 1 %\fP" at (2.2,8.78);
"\s10\fC%I sub 2 ~=~ t sub 1 %\fP" at (2.2,8.98);
"\s10\fC%I sub 1 ~=~ t sub 2 %\fP" at (3.4,8.78);
"\s10\fC%I sub 1 ~=~ t sub 3 %\fP" at (4.6,8.78);
"\s10\fC%I sub 1 ~=~ t sub 4 %\fP" at (5.8,8.78);

"\s10\fC%t sub 0 %\fP" at (1.0,7.95);
"\s10\fC%t sub 1 %\fP" at (2.2,7.95);
"\s10\fC%t sub 2 %\fP" at (3.4,7.95);
"\s10\fC%t sub 3 %\fP" at (4.6,7.95);
"\s10\fC%t sub 4 %\fP" at (5.8,7.95);
"\s10\fC%t sub 5 %\fP" at (7.0,7.95);

"\s10\fCfin(M = N)\fP" at (7.0,7.7);
"\s10\fC%N ~=%\fC 0%+ I sub 1 %\fP" at (7.0,7.5);
"\s10\fC%M ~=%\fC 3%+ I sub 2 %\fP" at (7.0,7.3);
.PE
