\qedhere equivalent in ConTeXt

\qedhere equivalent in ConTeXt

[Emanuele Sacco]

Hi all,

I'have simulated the proof environment whit the following code:


%%%%%%%%%%%%%%%%%%%

\definedescription
[proof]
[text=Proof.]

\setupdescriptions[proof]
[width=broad,distance=0.5em,
location=serried,
headstyle=it,
indentnext=yes,
indenting=yes,
closesymbol=$\square$]

%%%%%%%%%%%%%%%%%%%%

I wanted to know if there is an equivalent of the command \qedhere
(LaTeX command) to solve the problem that arises when the environment
ends with a displayed equation.

Thanks.

Emanuele Sacco
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Wolfgang Schuster]

  Am 05.08.10 11:59, schrieb Emanuele Sacco:
> Hi all,
>
> I'have simulated the proof environment whit the following code:
>
>
> %%%%%%%%%%%%%%%%%%%
>
> \definedescription
> [proof]
> [text=Proof.]
>
> \setupdescriptions[proof]
> [width=broad,distance=0.5em,
> location=serried,
> headstyle=it,
> indentnext=yes,
> indenting=yes,
> closesymbol=$\square$]
>
> %%%%%%%%%%%%%%%%%%%%
>
> I wanted to know if there is an equivalent of the command \qedhere
> (LaTeX command) to solve the problem that arises when the environment
> ends with a displayed equation.

\qed or \placeclosesymbol

Wolfgang

___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Emanuele Sacco]

to me it does not work

Emanuele Sacco

2010/8/5 Wolfgang Schuster <schuster.wolfgang@googlemail.com>:
>  Am 05.08.10 11:59, schrieb Emanuele Sacco:
>>
>> Hi all,
>>
>> I'have simulated the proof environment whit the following code:
>>
>>
>> %%%%%%%%%%%%%%%%%%%
>>
>> \definedescription
>> [proof]
>> [text=Proof.]
>>
>> \setupdescriptions[proof]
>> [width=broad,distance=0.5em,
>> location=serried,
>> headstyle=it,
>> indentnext=yes,
>> indenting=yes,
>> closesymbol=$\square$]
>>
>> %%%%%%%%%%%%%%%%%%%%
>>
>> I wanted to know if there is an equivalent of the command \qedhere
>> (LaTeX command) to solve the problem that arises when the environment
>> ends with a displayed equation.
>
> \qed or \placeclosesymbol
>
> Wolfgang
>
> ___________________________________________________________________________________
> 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
> ___________________________________________________________________________________
>



-- 
Al mondo ci sono 10 tipi di persone: quelli che conoscono il sistema
binario e quelli che non lo conoscono.
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Wolfgang Schuster]

  Am 05.08.10 17:09, schrieb Emanuele Sacco:
> to me it does not work
Example!

Wolfgang

___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Emanuele Sacco]

%%%%%%%%%%%%%%%%%%%%

\definedescription
[proof]
[text=Proof.]

\setupdescriptions[proof]
[width=broad,distance=0.5em,
location=serried,
headstyle=it,
indentnext=yes,
indenting=yes,
closesymbol=$\square$]


\definemathcommand[Card][nolop]{\mfunction{Card}}

\starttext

\startproof
... la partizione, da cui
\startformula
\Card G^n=n!\cdot\Card \gamma_n(G). \placeclosesymbol
\stopformula
\stopproof

\stoptext


%%%%%%%%%%%%%%%%%%%%%%



! Missing $ inserted.
<inserted text>
                $
<to be read again>
                   \par
\AfterGroup ...rn -}}\parfillskip \zeropoint \par
                                                  \egroup \egroup
\placeclosesymbol ...onparameter \c!closesymbol }}
                                                  \fi
l.1095 ...cdot\Card \gamma_n(G). \placeclosesymbol

? H
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

?






Emanuele




2010/8/5 Wolfgang Schuster <schuster.wolfgang@googlemail.com>:
>  Am 05.08.10 17:09, schrieb Emanuele Sacco:
>>
>> to me it does not work
>
> Example!
>
> Wolfgang
>
> ___________________________________________________________________________________
> 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
> ___________________________________________________________________________________
>



-- 
Al mondo ci sono 10 tipi di persone: quelli che conoscono il sistema
binario e quelli che non lo conoscono.
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Wolfgang Schuster]

Am 05.08.10 22:17, schrieb Emanuele Sacco:
> %%%%%%%%%%%%%%%%%%%%
>
> \definedescription
> [proof]
> [text=Proof.]
>
> \setupdescriptions[proof]
> [width=broad,distance=0.5em,
> location=serried,
> headstyle=it,
> indentnext=yes,
> indenting=yes,
> closesymbol=$\square$]

\setupdescriptions
   [proof]
   [width=broad,
    distance=0.5em,
    location=serried,
    headstyle=it,
    indentnext=yes,
    indenting=yes,
    closesymbol=\mathematics{\square},
    closecommand=\ifmmode\eqno\else\wordright\fi]

Wolfgang
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Emanuele Sacco]

Thank you very much, but still does not work to me..

%%%%%%%%%%%%%%%%%%%%%%%

\definedescription
[proof]
[text=Proof.]

\setupdescriptions
 [proof]
 [width=broad,
  distance=0.5em,
  location=serried,
  headstyle=it,
  indentnext=yes,
  indenting=yes,
  closesymbol=\mathematics{\square},
  closecommand=\ifmmode\eqno\else\wordright\fi]



\starttext

\startproof
Questa \`e una dimostrazione
\startformula
a=b.
\stopformula
\stopproof

\stoptext

%%%%%%%%%%%%%%%%%%%%%%%%%%


systems         : begin file esempio at line 19
! Missing } inserted.
<inserted text>
                }
<to be read again>
                   \endgroup
\@@stopdescription ...l \dostopparbasedattributes
                                                  \endgroup \descriptionpara...
l.26 \stopproof

? H
I've inserted something that you may have forgotten.
(See the <inserted text> above.)
With luck, this will get me unwedged. But if you
really didn't forget anything, try typing `2' now; then
my insertion and my current dilemma will both disappear.

?




Emanuele Sacco

2010/8/6 Wolfgang Schuster <schuster.wolfgang@googlemail.com>:
> Am 05.08.10 22:17, schrieb Emanuele Sacco:
>>
>> %%%%%%%%%%%%%%%%%%%%
>>
>> \definedescription
>> [proof]
>> [text=Proof.]
>>
>> \setupdescriptions[proof]
>> [width=broad,distance=0.5em,
>> location=serried,
>> headstyle=it,
>> indentnext=yes,
>> indenting=yes,
>> closesymbol=$\square$]
>
> \setupdescriptions
>  [proof]
>  [width=broad,
>   distance=0.5em,
>   location=serried,
>   headstyle=it,
>   indentnext=yes,
>   indenting=yes,
>   closesymbol=\mathematics{\square},
>   closecommand=\ifmmode\eqno\else\wordright\fi]
>
> Wolfgang
>



-- 
Al mondo ci sono 10 tipi di persone: quelli che conoscono il sistema
binario e quelli che non lo conoscono.
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Thomas Schmitz]

On Sat, 7 Aug 2010 10:54:52 +0200
  Emanuele Sacco <emanuelesacco@gmail.com> wrote:
> Thank you very much, but still does not work to me..
> 
> %%%%%%%%%%%%%%%%%%%%%%%
> 
> \definedescription
> [proof]
> [text=Proof.]
> 
> \setupdescriptions
> [proof]
> [width=broad,
>  distance=0.5em,
>  location=serried,
>  headstyle=it,
>  indentnext=yes,
>  indenting=yes,
>  closesymbol=\mathematics{\square},
>  closecommand=\ifmmode\eqno\else\wordright\fi]
> 
> 
> 
> \starttext
> 
> \startproof
> Questa \`e una dimostrazione
> \startformula
> a=b.
> \stopformula
> \stopproof
> 
> \stoptext
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%

This works with mkiv, but not with mkii. Wolfgang couldn't 
know which you were using since your replies were always 
rather short on details.

Thomas
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Emanuele Sacco]

You are absolutely right.
Thanks to all.

2010/8/7 Thomas Schmitz <tschmit1@uni-bonn.de>:
> On Sat, 7 Aug 2010 10:54:52 +0200
>  Emanuele Sacco <emanuelesacco@gmail.com> wrote:
>>
>> Thank you very much, but still does not work to me..
>>
>> %%%%%%%%%%%%%%%%%%%%%%%
>>
>> \definedescription
>> [proof]
>> [text=Proof.]
>>
>> \setupdescriptions
>> [proof]
>> [width=broad,
>>  distance=0.5em,
>>  location=serried,
>>  headstyle=it,
>>  indentnext=yes,
>>  indenting=yes,
>>  closesymbol=\mathematics{\square},
>>  closecommand=\ifmmode\eqno\else\wordright\fi]
>>
>>
>>
>> \starttext
>>
>> \startproof
>> Questa \`e una dimostrazione
>> \startformula
>> a=b.
>> \stopformula
>> \stopproof
>>
>> \stoptext
>>
>> %%%%%%%%%%%%%%%%%%%%%%%%%%
>
> This works with mkiv, but not with mkii. Wolfgang couldn't know which you
> were using since your replies were always rather short on details.
>
> Thomas
> ___________________________________________________________________________________
> 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
> ___________________________________________________________________________________
>



-- 
Al mondo ci sono 10 tipi di persone: quelli che conoscono il sistema
binario e quelli che non lo conoscono.
___________________________________________________________________________________
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: \qedhere equivalent in ConTeXt

[Stefan Müller]

Hi list,

I tried something similar to (Mk IV version 2011.11.18 19:34):

Am 06.08.10 15:46, schrieb Wolfgang Schuster:
> \setupdescriptions
> [proof]
> [width=broad,
> distance=0.5em,
> location=serried,
> headstyle=it,
> indentnext=yes,
> indenting=yes,
> closesymbol=\mathematics{\square},
> closecommand=\ifmmode\eqno\else\wordright\fi]
>
> Wolfgang

I hope I can get help on an issue I have with this. Please consider the 
minimal example:

\starttext
\definedescription[proof][text=Proof., width=fit, location=serried, 
indenting=yes, closesymbol=\mathematics{\square}, 
closecommand=\ifmmode\eqno\else\wordright\fi]

\startproof
	\input knuth
\stopproof
\startproof
	conclusion conclusion conclusion conclusion conclusion conclusion 
conclusion.
\stopproof
\stoptext

I don't know how to achieve this, but I would like to have the squares 
at the end of both "proofs" one line higher than they are now and placed 
right, as in (consider the extra space, which avoids the hyphenation):

\startproof
	conclusion conclusion conclusion conclusion conclusion conclusion 
conclu sion.
\stopproof

Any help appreciated. Thanks in advance,
Stefan
___________________________________________________________________________________
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
___________________________________________________________________________________