ryankeleti / ega

amateur translation project of Grothendieck's EGA.

Home Page:https://ryankeleti.com/ega

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

Screenshot 2019-10-26 at 21 14 49

commented

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

commented

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.