Demostrations ala AMS

Demostrations ala AMS

[Xan]

Hi,

I like to have the same environments in ConTeXt like in amsthm LaTeX.
With defineenumeration I did emulate thm and others, but now I trying to 
have something like demostration.

My code is:

% AMSTHM
\defineenumeration
  [exercici]
  
[text={Problema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em,
stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,
before={\bgroup\startframedtext[background=screen,frame=off,width=broad]},
after={\stopframedtext\egroup}]

\defineenumeration
  [lemma]
  
[text={Lema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em,
stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,style=italic]

\definedescription[demo][location=serried,text={Demostración.},headstyle=bold,
indentnext=yes,between=\blank,before={\bgroup},after={$\Box$\egroup}]


The **problem** is how to put qed symbol (for example $\Box$ in my case) 
at the end of demo. I try with after but it's not works: \Box appears in 
the next line at the begginning. Can someone help me?

Thanks,
Xan.
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Demostrations ala AMS

[Xan]

En/na Xan ha escrit:
> Hi,
>
> I like to have the same environments in ConTeXt like in amsthm LaTeX.
> With defineenumeration I did emulate thm and others, but now I trying 
> to have something like demostration.
>
> My code is:
>
> % AMSTHM
> \defineenumeration
>  [exercici]
>  
> [text={Problema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, 
>
> stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit, 
>
> before={\bgroup\startframedtext[background=screen,frame=off,width=broad]}, 
>
> after={\stopframedtext\egroup}]
>
> \defineenumeration
>  [lemma]
>  
> [text={Lema},headstyle=bold,between=\blank,titledistance=0em,textdistance=1em, 
>
> stopper={.\space},location=serried,left={\bgroup\bf},right={\egroup},width=fit,style=italic] 
>
>
> \definedescription[demo][location=serried,text={Demostración.},headstyle=bold, 
>
> indentnext=yes,between=\blank,before={\bgroup},after={$\Box$\egroup}]
>
>
> The **problem** is how to put qed symbol (for example $\Box$ in my 
> case) at the end of demo. I try with after but it's not works: \Box 
> appears in the next line at the begginning. Can someone help me?
>
> Thanks,
> Xan.
>
With
\definedescription[demo][location=serried,text={Demostración.},headstyle=bold,indentnext=yes,
between=\blank,before={\bgroup},after={\hfill$\Box$\egroup}]

demo puts \Box at the end of the following line. How to put _exactly_ at 
the end of the current line.?

Xan.
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Demostrations ala AMS

[Wolfgang Schuster]

Am 17.04.2009 um 15:40 schrieb Xan:

>> The **problem** is how to put qed symbol (for example $\Box$ in my  
>> case) at the end of demo. I try with after but it's not works: \Box  
>> appears in the next line at the begginning. Can someone help me?

AFAIK closesymbol=\mathematics{\Box}

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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Demostrations ala AMS

[Xan]

Thanks 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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: Demostrations ala AMS

[Aditya Mahajan]

On Fri, 17 Apr 2009, Xan wrote:

> Thanks Wolfgang.

You may also want to read an article that I wrote about Theorems in 
ConTeXt in MAPS 36, page 27-32, 2008. It is listed at 
http://www.ntg.nl/maps/36/index.html. You need to be an NTG member to 
access, or wait for a few months (I don't remember which month MAPS 36 was 
published) after which it will be freely available (once MkIV settles 
down, I will update the article and republish it as a My Way).

Aditya

___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________