position of qed symbol in proofs

position of qed symbol in proofs

[Mikael P. Sundqvist]

[-- Attachment #1: Type: text/plain, Size: 616 bytes --]

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

[-- Attachment #2: qed.pdf --]
[-- Type: application/pdf, Size: 10071 bytes --]

[-- Attachment #3: Type: text/plain, Size: 485 bytes --]

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

Re: position of qed symbol in proofs

[Mikael P. Sundqvist]

On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist <mickep@gmail.com> 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
___________________________________________________________________________________

Re: position of qed symbol in proofs

[Otared Kavian]

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 <mickep@gmail.com> wrote:
> 
> On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist <mickep@gmail.com> 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
> ___________________________________________________________________________________

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

Re: position of qed symbol in proofs

[Mikael P. Sundqvist]

On Sat, Nov 8, 2014 at 5:43 PM, Otared Kavian <otared@gmail.com> wrote:
> 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 <mickep@gmail.com> wrote:
>>
>> On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist <mickep@gmail.com> 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
>> ___________________________________________________________________________________
>
> ___________________________________________________________________________________
> 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 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
___________________________________________________________________________________
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
___________________________________________________________________________________

Re: position of qed symbol in proofs

[Otared Kavian]

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 <mickep@gmail.com> 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

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

Re: position of qed symbol in proofs

[Hans Hagen]

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
___________________________________________________________________________________

Re: position of qed symbol in proofs

[Otared Kavian]

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@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]
> 
> 
> -----------------------------------------------------------------
>                                          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
> ___________________________________________________________________________________

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

Re: position of qed symbol in proofs

[Hans Hagen]

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

Re: position of qed symbol in proofs

[Otared Kavian]

> On 10 Nov 2014, at 10:58, Hans Hagen <pragma@wxs.nl> 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
___________________________________________________________________________________

Re: position of qed symbol in proofs

[Mikael P. Sundqvist]

On Mon, Nov 10, 2014 at 11:22 AM, Otared Kavian <otared@gmail.com> wrote:
>
>> On 10 Nov 2014, at 10:58, Hans Hagen <pragma@wxs.nl> 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.

Best regards, 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
___________________________________________________________________________________

Re: position of qed symbol in proofs

[Hans Hagen]

On 11/11/2014 2:55 PM, Mikael P. Sundqvist wrote:
> On Mon, Nov 10, 2014 at 11:22 AM, Otared Kavian <otared@gmail.com> wrote:
>>
>>> On 10 Nov 2014, at 10:58, Hans Hagen <pragma@wxs.nl> 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
-----------------------------------------------------------------
___________________________________________________________________________________
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
___________________________________________________________________________________