Title: Type-setting machinery