ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
329 stars 34 forks source link

proofs ending with display mode #104

Closed thosgood closed 4 years ago

thosgood commented 5 years ago

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.

Screenshot 2019-10-26 at 21 14 49
ryankeleti commented 5 years ago

let me see if I can rework the proof environment to fix this

ryankeleti commented 4 years ago

I think best option would just to put \qedheres. I removed them while I was messing with the web version, so I'll try to work on adding them back.