tree e0b7789796170c0a1dfd2b922d36ec423c7c1404
parent 911dca3a4f3a1e13cb033d399b40bd0238992b18
author Duncan Murdoch <murdoch.duncan@gmail.com> 1546730487 -0500
committer Duncan Murdoch <murdoch.duncan@gmail.com> 1546730487 -0500

Don't want to get an extra char ahead of the latex block