Definition of "typesets"