No, the lower-down aspect is actually something else. The "x" and the "y" in the sans serif font on that line and the big "f" on the line above are from picts. The other characters on those lines are directly written in the latex code. The grammar is also a pict. The picts look worse in one screen shot than the other (the one whose name has "8.01.25" is the uglier one). This effect is, I believe, one of the main things people mean when they say that Redex's typesetting is ugly (and it is indeed ugly in larger quantities).
Robby On Fri, Jun 27, 2014 at 9:23 AM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > And the one with the second x in the bottom line lower down is the one > that's from --pdf and is not intended? Are there other differences > between the pictures? > > Sam > > On Fri, Jun 27, 2014 at 9:02 AM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> On Fri, Jun 27, 2014 at 7:59 AM, Sam Tobin-Hochstadt >> <sa...@cs.indiana.edu> wrote: >>> Is the program in the commit message what I should try to see the >>> difference? >> >> It looks different for me, yes. I'm attaching two screenshots for the >> difference I see between --pdf and --dvipdf. >> >> Robby _________________________ Racket Developers list: http://lists.racket-lang.org/dev
