proofs ending with display mode
thosgood opened this issue · comments
If a proof ends with some display mode maths (e.g. 9.1.3 or 9.1.9) then the qed square appears at the end of an extra blank like. This can be avoided by putting \qedhere
at the end of the display mode equation. I've been doing this because I think it looks nicer, but wanted to see what you thought before doing too many.
let me see if I can rework the proof environment to fix this
I think best option would just to put \qedhere
s. I removed them while I was messing with the web version, so I'll try to work on adding them back.