\qedhere equivalent in ConTeXt
![](https://secure.gravatar.com/avatar/fabc6778a817994babdf3718221445e4.jpg?s=120&d=mm&r=g)
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
![](https://secure.gravatar.com/avatar/93131e1e6e2204bd13501390d768dbdc.jpg?s=120&d=mm&r=g)
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
![](https://secure.gravatar.com/avatar/fabc6778a817994babdf3718221445e4.jpg?s=120&d=mm&r=g)
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.
![](https://secure.gravatar.com/avatar/fabc6778a817994babdf3718221445e4.jpg?s=120&d=mm&r=g)
%%%%%%%%%%%%%%%%%%%%
\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.
![](https://secure.gravatar.com/avatar/93131e1e6e2204bd13501390d768dbdc.jpg?s=120&d=mm&r=g)
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
![](https://secure.gravatar.com/avatar/fabc6778a817994babdf3718221445e4.jpg?s=120&d=mm&r=g)
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
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.
![](https://secure.gravatar.com/avatar/c7accb2674fe5d6cb195dd221cb297b3.jpg?s=120&d=mm&r=g)
On Sat, 7 Aug 2010 10:54:52 +0200
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
%%%%%%%%%%%%%%%%%%%%%%%%%%
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
![](https://secure.gravatar.com/avatar/fabc6778a817994babdf3718221445e4.jpg?s=120&d=mm&r=g)
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.
participants (3)
-
Emanuele Sacco
-
Thomas Schmitz
-
Wolfgang Schuster