position of qed symbol in proofs

Hi, I once used \defineenumeration[proof][ text=Proof, closesymbol=\mathematics{\square}, closecommand=\ifmmode\eqno\else\wordright\fi, ] \starttext \startproof This is a simple proof. \stopproof \startproof This is another simple proof that ends with a formula \startformula 1+1=2. \stopformula \stopproof \stoptext to get the \square at the end of proofs, and it worked out well. But with the latest beta (and some previous one(s)), the \square is not placed at the same line as the formula in the second example. Is it broken? Or is there a new syntax? PDF with my result is attached. Best regards, Mikael

Hi Mikael, In my files I have the following which used to work, but it doesn’t work as expected anymore, as you point out \defineenumeration[proof][text=Proof.] \setupenumeration[proof] [number=no, closesymbol=\mathematics{\square}, closecommand=\ifmmode\eqno\else\wordright\fi] \starttext \startproof This is a simple proof. \stopproof \startproof This is another simple proof that ends with a formula \startformula 1+1=2. \stopformula \stopproof \stoptext I don’t know when the change occurred, but at least it worked last year (which for ConTeXt means pregistoric times… :—). As a temporary hack one can always say: \startformula 1+1=2. \eqno{\square} \stopformula Best regards: OK

Hi Mikael, Actually I just tried your example with the ConTeXt version on TeX Live, as well as with a copy dating back to 2014-02-14, and both behaved in the same wrong way regarding the closesymbol and closecommand. So in \setupenumeration[proof] [number=no, closesymbol=\mathematics{\square}, closecommand=\ifmmode\eqno\else\wordright\fi] the \ifmmode is not honoured, and the change must have happened quite earlier than a few weeks. Maybe we should open a new thread as a bug in closecommand? Best regards: OK

On 11/10/2014 6:54 AM, Otared Kavian wrote:
it probably has to do with the if test and some checking on 'command' ... \defineenumeration [proof] [number=no, closesymbol=\mathematics{\square}, closecommand=\mathortext\eqno\wordright] ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------

Hi Hans, Thanks for your attention. However the following doesn’t result in what is expected: %% begin proof-qed.tex \defineenumeration [proof] [number=no, closesymbol=\mathematics{\square}, closecommand=\mathortext\eqno\wordright] \starttext \startproof This is a simple proof. \stopproof \startproof This is another simple proof that ends with a formula \startformula 1+2=3. \stopformula \stopproof \stoptext %% end proof-qed.tex Neither does the use of displaymath, that is $$1+2=3.$$ Best regards: OK

On 11/10/2014 10:31 AM, Otared Kavian wrote:
i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------

Oh… I see. So there is not anymore the possibility to finish an enumeration (such as « proof » ine Mikael’s example) with aformula and automatically get the square of qed on the right? This was possible for quite a long time, although personnally I have used it seldom. Thanks and best regards: OK

On 11/11/2014 2:55 PM, Mikael P. Sundqvist wrote:
you can use it but not to put *anything* you like there and expect it to behave ... i really wonder if \eqno ever worked there as it's an "embedded in formulas" command ... if it did, it was definitely a side effect Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------
participants (3)
-
Hans Hagen
-
Mikael P. Sundqvist
-
Otared Kavian