Yes, OS X uses direct PDF to write to the screen, and will helpfully rasterise PS to PDF on the fly. The 3B2 typesetting system does write display PS to the sc

Yes, OS X uses direct PDF to write to the screen, and will helpfully rasterise PS to PDF on the fly. The 3B2 typesetting system does write display PS to the screen, though. Even the old DOS version.