First attempt at LaTeX typesetting