To generate the effect, run
neato -Tgif -Nlabel=7 -Nfontsize=1
on the input below.
As far as I can tell, this only happens with '7'
and with the Times font. The pointsize cut-off is around 1.1, with
all smaller pointsizes causing the problem. It happens on both
linux and sgi systems.
Input:
Comments:
graph G { x }
[erg] After further checking, the 3 fonts times, helvetica and courier
exhibit the problem but with different characters:
time 7 / ` ^
helvetica v y / ` ^
courier , / < > ' "