Here it is as a PDF file (1285 bytes, which is only 31% bigger :-) http://mrob.com/pub/math/speciner.pdf Mike, yes I did attach a pdf file, but apparently the mailing list server removed it (and without returning an error message) so thanks for letting me know. On Fri, Aug 20, 2010 at 12:48, Mike Speciner <ms@alum.mit.edu> wrote:

On Friday 20 August 2010 12:32:50 Robert Munafo wrote:

...

Here it is as a PDF file (1285 bytes, which is only 31% bigger :-)

Did you forget to attach the pdf, or does the mailing list not allow attachments (which is what I thought, and one of the reasons I didn't bother trying to include a PDF; the other being that the PS is sufficiently readable to "prove" that the two lines are the same length, although I probably should have included some comments)?

--ms

On Fri, Aug 20, 2010 at 10:10, Mike Speciner <ms@alum.mit.edu> wrote:

Try this:

%!PS-Adobe-3.0 %%BoundingBox: 0 0 612 792 %%Orientagion: Portrait [...]

1 0 moveto c1 s1 lineto -c2 s2 lineto -c2 -s2 lineto c1 -s1 lineto fill 0 setgray c1 s1 moveto c1 -s1 lineto stroke

showpage

-- Robert Munafo -- mrob.com