[NTG-context] position of qed symbol in proofs

Hans Hagen pragma at wxs.nl
Mon Nov 10 10:58:35 CET 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 <pragma at wxs.nl> 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
-----------------------------------------------------------------


More information about the ntg-context mailing list