onSet :: Online Typesetting