Oh wow! Thanks for the link! I don't see it on there, but that list is for PC fonts, and this was a Unix workstation. I think it may have actually been antialiased, though I can't say for sure.