Improve location of end proof symbol

gerby-project / gerby-website

Tag-based webview of LaTeX documents

MIT License

28 stars 22 forks source link

Improve location of end proof symbol #69

Closed aisejohan closed 6 years ago

aisejohan commented 6 years ago

Look at Section Tag 00DY at the placement of the end proof symbol of first lemma. This also happens on the current website. I am not sure how worth fixing this is because I am against adding more vertical space in general. (I can easily fix this in the latex for example.)

chngr commented 6 years ago

Commit 2fa166e is an example for how we could fix this, at least in the case of list items. I don't see an easy general way to fix all these issues. Personally, I think it's just good mathematical/LaTeX-ical style not to end proofs in lists, equations, etc. But I guess I am rather particular about my LaTeX...

aisejohan commented 6 years ago

Yeah, I think you are right this should just not happen. For this lemma somebody else wrote the proof if this lemma a looooooooong time ago so it isn't even my fault!