Resolves $40, output as LaTeX