Some useful things for LaTeX typesetting.