fix typesetting of forall