ps8 typeset