LaTeX source for William Trench's Real Analysis open textbook