to me it does not work Emanuele Sacco 2010/8/5 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 ___________________________________________________________________________________

-- Al mondo ci sono 10 tipi di persone: quelli che conoscono il sistema binario e quelli che non lo conoscono.

%%%%%%%%%%%%%%%%%%%% \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 :

 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.

You are absolutely right. Thanks to all. 2010/8/7 Thomas Schmitz :

On Sat, 7 Aug 2010 10:54:52 +0200  Emanuele Sacco 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.