Re: [NTG-context] position of qed symbol in proofs

10 Nov 2014


      On 11/10/2014 10:31 AM, Otared Kavian wrote:
...
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]
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
-----------------------------------------------------------------