Hello, I'm having a bit trouble to put the QED symbol in the right place when the proof ends with a multi-line mathematical formula. When the proof ends with a single-line formula, I manually put a \qedhere at the end of the formula for the QED symbol to appear in the right place. If there is any better way to do this, let me know.
Regards, Gustavo.
example.lyx
Description: Binary data
