For multiline formulae, you need to end it with "\tag*{\qedhere}". To enter
this in LyX, you don't need to specify the braces, just enter "\tag*" and press
space, then in the box that appears type "\qedhere".
This also seems to work for single-line formulae, so what I do is use a math
macro for this and use that for all formulae at the end of proofs. This has
the
benefit that you can put something prettier in the LyX box for display while
you're editing your document (e.g. try pasting in "\text{ }\text{ }\text{
}\text{ }\square" without the quotes).
By the way, this is a bug in AMS-LaTeX that they know about, but thought
couldn't be fixed. It can be fixed since the ntheorem package manages it (but
has its own bugs, so isn't a good replacement sadly), which I've told the
relevant person in AMS about. She seemed interested, but I doubt they have the
resources to fix it anytime soon.
Jim
>
>From: Gustavo Milaré <[email protected]>
>To: Lyx Discussion List <[email protected]>
>Sent: Fri, 14 January, 2011 2:51:15
>Subject: Proofs ending with mathematical formulas
>
>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.
