Typesetting systems and heavyweight markup