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

On 08 Nov 2014, at 14:40, Mikael P. Sundqvist wrote:

On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist wrote:

...

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

I don't like to bump, but... Noone else has this problem?

@Hans: Is it easily fixed?

/Mikael ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________

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 09 Nov 2014, at 21:29, Mikael P. Sundqvist wrote: […] Hi Otared,

thank you for looking at this. It feels good that it is not only me who has this problem. As far as I remember, this issue was not present 3-4 weeks ago.

/Mikael

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 10 Nov 2014, at 10:08, Hans Hagen wrote:

On 11/10/2014 6:54 AM, Otared Kavian wrote:

...

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?

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 ----------------------------------------------------------------- ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________

On 10 Nov 2014, at 10:58, Hans Hagen wrote: […] i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway

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:

On Mon, Nov 10, 2014 at 11:22 AM, Otared Kavian wrote:

...

...

On 10 Nov 2014, at 10:58, Hans Hagen wrote: […] i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway

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 ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________

OK, so I will put the square there by hand from now on.

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 -----------------------------------------------------------------