Re: [NTG-context] closesymbol on same line as displayed formula

2018-08-28 Thread Jeong Dal
Dear Aditya,

Thank you for the reply.

>> \startproof
>> \startitemize[n]
>> \item first line.
>> \item second line
> 
> Add: \placeclosesymbol here
> 
>> \stopitemize
>> \stopproof
>> 
>> \stoptext
> 

It works in many cases that item content ends with words. But it is not working 
if the item contents end with \stopformula. If I put \placeclosesymbol before 
\stopformula, then it is shown just after the last word.
Anyway, it works in most cases.

Thank you again.

Best regards,

Dalyoung

%
\defineenumeration[proof][text=Proof.]

\setupenumeration[proof]
[number=no,
closesymbol=\mathematics{\square},
closecommand=\ifmmode\eqno\else\wordright\fi]


\starttext
\startproof
This is a simple proof.
\startformula
1+1=2.
\stopformula
\placeclosesymbol
\stopproof

\startproof
This is another simple proof that ends with a formula
\startformula
1+1=2.
\placeclosesymbol
\stopformula
\stopproof

\startproof
\startitemize[n]
\item first line.
\item Here is an example.
\startformula \cosh x + \sinh x = e^x,~~\cosh x - \sinh x = e^{-x}  
\stopformula
The next formula is following: 
\startformula\startalign
\NC\sinh (x + y) \NC= \frac{e^{x+y} - e^{-(x+y)}}{2} \NR
\NC \NC = \frac{e^x e^y - e^{-x}e^{-y}}{2}  \NR%$
\NC \NC = \frac{(\cosh x + \sinh x)(\cosh y + \sinh y) - (\cosh x - \sinh 
x)(\cosh y - \sinh y)}{2} \NR
\NC \NC = \sinh x \cosh y + \cosh x \sinh y \NR
\stopalign \stopformula
\placeclosesymbol
\stopitemize
\stopproof

\stoptext
%%%___
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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2018-08-27 Thread Aditya Mahajan

On Mon, 27 Aug 2018, Jeong Dal wrote:



Hi,

The same thing happens after the itemization as in the following MWE.

\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
\startproof
\startitemize[n]
\item first line.
\item second line


Add: \placeclosesymbol here


\stopitemize
\stopproof

\stoptext


For display equations, there is not easy solution. (What should happen if 
there is an equation number; what should happen if the display equation 
overflows hsize, etc.). The latex package `ntheorem` implements a two pass 
solution (measures where the equation number box gets placed, and then add 
the close symbol below it). I am not sure how easy it is to implement such 
an approach in ConTeXt.


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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2018-08-26 Thread Jeong Dal

Hi, 

I am sorry to bring up old topic “Re: closesymbol on same line as displayed 
formula” again.
(ntg-context Digest, Vol 153, Issue 40)
Is there any progress after that?
It seems to me that there is no more discussions about it.

The same thing happens after the itemization as in the following MWE.

Thank you for reading.

Best regards,

Dalyoung


\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
\startproof
\startitemize[n]
\item first line.
\item second line
\stopitemize
\stopproof

\stoptext

___
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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2017-03-21 Thread Mohammad Hossein Bateni
What has changed, Otared, is that Hans reimplemented inner workings of
displayed formulas and in particular its alignment mechanisms, I suppose.
A few months back he had issued warnings that certain things may break
there.
—Hossein

On Tue, Mar 21, 2017 at 2:51 AM, Mikael P. Sundqvist 
wrote:

> On Mon, Mar 20, 2017 at 11:46 PM, Aditya Mahajan 
> wrote:
> > On Mon, 20 Mar 2017, Mikael P. Sundqvist wrote:
> >
> >> On Tue, Mar 14, 2017 at 7:23 PM, Mikael P. Sundqvist 
> >> wrote:
> >>>
> >>> Hi,
> >>>
> >>> I'm bringing up an old question on placing the qedsymbol, or
> >>> closesymbol as it is also called. This was previously discussed in
> >>> https://mailman.ntg.nl/pipermail/ntg-context/2014/079807.html and the
> >>> purpose of this post is to ask if there is any solution to the problem
> >>> now. Looking at the file below (output is attached), when the proof
> >>> ends with a displayed formula, the closesymbol is located one row
> >>> down. I want it to be (flushright) on the same line as the displayed
> >>> formula.
> >>>
> >>> If I use \placeclosesymbol the closesymbol is indeed put on the
> >>> correct line, but not flushright.
> >>>
> >>> Any ideas? I'm willing to use some command like \placeclosesymbol in
> >>> the occations when the proof ends with a displayed formula.
> >>>
> >>> /Mikael
> >>>
> >>> \defineenumeration[proof][
> >>> number=no,
> >>> text=Proof,
> >>> headstyle={\it},
> >>> alternative=serried,
> >>> width=fit,
> >>> closesymbol={$\square$},
> >>> ]
> >>>
> >>> \starttext
> >>>
> >>> \startproof
> >>> This is a short proof.
> >>> \stopproof
> >>>
> >>> \startproof
> >>> This is another short proof, ending with the formula
> >>> \startformula
> >>> 1+1=2.
> >>> \stopformula
> >>> \stopproof
> >>>
> >>> \startproof
> >>> This is another short proof, ending with the formula
> >>> \startformula
> >>> 1+1=2.\placeclosesymbol
> >>> \stopformula
> >>> \stopproof
> >>>
> >>>
> >>>
> >>> \startproof
> >>> This is a rather advanced proof, ending with formulas
> >>> \startformula
> >>> \startalign
> >>> \NC 1+1 \NC = 2,\NR
> >>> \NC 2+2 \NC = 4.\NR
> >>> \stopalign
> >>> \stopformula
> >>> \stopproof
> >>>
> >>> \startproof
> >>> This is a rather advanced proof, ending with formulas
> >>> \startformula
> >>> \startalign
> >>> \NC 1+1 \NC = 2,\NR
> >>> \NC 2+2 \NC = 4.\placeclosesymbol\NR
> >>> \stopalign
> >>> \stopformula
> >>> \stopproof
> >>>
> >>> \stoptext
> >>
> >>
> >> Partly shameful bump.
> >>
> >> Is it even possible? (It is using LaTeX and the \qedhere command)
> >>
> >> Could I provide more information?
> >
> >
> > What is the expected output when the last formula has an equation number?
> >
> > 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://context.aanhet.net
> > archive  : https://bitbucket.org/phg/context-mirror/commits/
> > wiki : http://contextgarden.net
> > 
> ___
>
> Thank you Aditya and Otared for showing some interest in this question.
>
> I agree with you Aditya that a closesymbol could interfere with an
> equation number, and I think that one should try hard to reword the
> proof (or what it could be) to avoid that problem. In my current case
> it is calculus examples, and some of them naturally ends with a simple
> calculation, and none has an equation number.
>
> As Otared points out, there was a working solution for a while (even
> though it may have been an ugly hack with eqno), so I guess it is
> somehow doable. And the closesymbol and closecommand keys are there...
> I just don't know how to code a working solution (say, not taking care
> of the problem with equation numbers)...
>
> /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://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> 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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2017-03-20 Thread Mikael P. Sundqvist
On Mon, Mar 20, 2017 at 11:46 PM, Aditya Mahajan  wrote:
> On Mon, 20 Mar 2017, Mikael P. Sundqvist wrote:
>
>> On Tue, Mar 14, 2017 at 7:23 PM, Mikael P. Sundqvist 
>> wrote:
>>>
>>> Hi,
>>>
>>> I'm bringing up an old question on placing the qedsymbol, or
>>> closesymbol as it is also called. This was previously discussed in
>>> https://mailman.ntg.nl/pipermail/ntg-context/2014/079807.html and the
>>> purpose of this post is to ask if there is any solution to the problem
>>> now. Looking at the file below (output is attached), when the proof
>>> ends with a displayed formula, the closesymbol is located one row
>>> down. I want it to be (flushright) on the same line as the displayed
>>> formula.
>>>
>>> If I use \placeclosesymbol the closesymbol is indeed put on the
>>> correct line, but not flushright.
>>>
>>> Any ideas? I'm willing to use some command like \placeclosesymbol in
>>> the occations when the proof ends with a displayed formula.
>>>
>>> /Mikael
>>>
>>> \defineenumeration[proof][
>>> number=no,
>>> text=Proof,
>>> headstyle={\it},
>>> alternative=serried,
>>> width=fit,
>>> closesymbol={$\square$},
>>> ]
>>>
>>> \starttext
>>>
>>> \startproof
>>> This is a short proof.
>>> \stopproof
>>>
>>> \startproof
>>> This is another short proof, ending with the formula
>>> \startformula
>>> 1+1=2.
>>> \stopformula
>>> \stopproof
>>>
>>> \startproof
>>> This is another short proof, ending with the formula
>>> \startformula
>>> 1+1=2.\placeclosesymbol
>>> \stopformula
>>> \stopproof
>>>
>>>
>>>
>>> \startproof
>>> This is a rather advanced proof, ending with formulas
>>> \startformula
>>> \startalign
>>> \NC 1+1 \NC = 2,\NR
>>> \NC 2+2 \NC = 4.\NR
>>> \stopalign
>>> \stopformula
>>> \stopproof
>>>
>>> \startproof
>>> This is a rather advanced proof, ending with formulas
>>> \startformula
>>> \startalign
>>> \NC 1+1 \NC = 2,\NR
>>> \NC 2+2 \NC = 4.\placeclosesymbol\NR
>>> \stopalign
>>> \stopformula
>>> \stopproof
>>>
>>> \stoptext
>>
>>
>> Partly shameful bump.
>>
>> Is it even possible? (It is using LaTeX and the \qedhere command)
>>
>> Could I provide more information?
>
>
> What is the expected output when the last formula has an equation number?
>
> 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://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> wiki : http://contextgarden.net
> ___

Thank you Aditya and Otared for showing some interest in this question.

I agree with you Aditya that a closesymbol could interfere with an
equation number, and I think that one should try hard to reword the
proof (or what it could be) to avoid that problem. In my current case
it is calculus examples, and some of them naturally ends with a simple
calculation, and none has an equation number.

As Otared points out, there was a working solution for a while (even
though it may have been an ugly hack with eqno), so I guess it is
somehow doable. And the closesymbol and closecommand keys are there...
I just don't know how to code a working solution (say, not taking care
of the problem with equation numbers)...

/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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2017-03-20 Thread Otared Kavian

> On 20 Mar 2017, at 23:46, Aditya Mahajan  wrote:
> 
>> […]
> 
> What is the expected output when the last formula has an equation number?
> 
> Aditya

Hi Aditya,

That is a good point: if the equation numbers are on the right, there would be 
an ugly effect with the closesympbol near the number, but not if the equation 
numbers are on the left.

Personnaly I avoid finishing a displayed formula with a closymbol (since one 
uses sometimes the square for the D’Alembertien operator), but sometimes it it 
comes handy to have the possibility to add such a closesymbol.

I don’t know what has changed in recent ConTeXt mkiv which makes the solution 
cooked up by Wolfgang to not work anymore.

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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2017-03-20 Thread Aditya Mahajan

On Mon, 20 Mar 2017, Mikael P. Sundqvist wrote:


On Tue, Mar 14, 2017 at 7:23 PM, Mikael P. Sundqvist  wrote:

Hi,

I'm bringing up an old question on placing the qedsymbol, or
closesymbol as it is also called. This was previously discussed in
https://mailman.ntg.nl/pipermail/ntg-context/2014/079807.html and the
purpose of this post is to ask if there is any solution to the problem
now. Looking at the file below (output is attached), when the proof
ends with a displayed formula, the closesymbol is located one row
down. I want it to be (flushright) on the same line as the displayed
formula.

If I use \placeclosesymbol the closesymbol is indeed put on the
correct line, but not flushright.

Any ideas? I'm willing to use some command like \placeclosesymbol in
the occations when the proof ends with a displayed formula.

/Mikael

\defineenumeration[proof][
number=no,
text=Proof,
headstyle={\it},
alternative=serried,
width=fit,
closesymbol={$\square$},
]

\starttext

\startproof
This is a short proof.
\stopproof

\startproof
This is another short proof, ending with the formula
\startformula
1+1=2.
\stopformula
\stopproof

\startproof
This is another short proof, ending with the formula
\startformula
1+1=2.\placeclosesymbol
\stopformula
\stopproof



\startproof
This is a rather advanced proof, ending with formulas
\startformula
\startalign
\NC 1+1 \NC = 2,\NR
\NC 2+2 \NC = 4.\NR
\stopalign
\stopformula
\stopproof

\startproof
This is a rather advanced proof, ending with formulas
\startformula
\startalign
\NC 1+1 \NC = 2,\NR
\NC 2+2 \NC = 4.\placeclosesymbol\NR
\stopalign
\stopformula
\stopproof

\stoptext


Partly shameful bump.

Is it even possible? (It is using LaTeX and the \qedhere command)

Could I provide more information?


What is the expected output when the last formula has an equation number?

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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2017-03-20 Thread Otared Kavian
Hi Mikael,

Some time ago, Wolfgang gave a solution which used to work, but I experimented 
it again when I read your message, and now it does not work anymore… PLease 
have a look to the files attached (I recovered them from a TimeMachine backup).

Unfortnately the same file typeset with the latest beta, and even with the 
current version from TeXLIve 2016 does not give anymore the same result.

Best regards: OK


closesymbol-1 (original).pdf
Description: Adobe PDF document



closesymbol-1 (original).tex
Description: Binary data


> On 20 Mar 2017, at 14:59, Mikael P. Sundqvist  wrote:
> 
> On Tue, Mar 14, 2017 at 7:23 PM, Mikael P. Sundqvist  wrote:
>> Hi,
>> 
>> I'm bringing up an old question on placing the qedsymbol, or
>> closesymbol as it is also called. This was previously discussed in
>> https://mailman.ntg.nl/pipermail/ntg-context/2014/079807.html and the
>> purpose of this post is to ask if there is any solution to the problem
>> now. Looking at the file below (output is attached), when the proof
>> ends with a displayed formula, the closesymbol is located one row
>> down. I want it to be (flushright) on the same line as the displayed
>> formula.
>> 
>> If I use \placeclosesymbol the closesymbol is indeed put on the
>> correct line, but not flushright.
>> 
>> Any ideas? I'm willing to use some command like \placeclosesymbol in
>> the occations when the proof ends with a displayed formula.
>> 
>> /Mikael
>> 
>> \defineenumeration[proof][
>> number=no,
>> text=Proof,
>> headstyle={\it},
>> alternative=serried,
>> width=fit,
>> closesymbol={$\square$},
>> ]
>> 
>> \starttext
>> 
>> \startproof
>> This is a short proof.
>> \stopproof
>> 
>> \startproof
>> This is another short proof, ending with the formula
>> \startformula
>> 1+1=2.
>> \stopformula
>> \stopproof
>> 
>> \startproof
>> This is another short proof, ending with the formula
>> \startformula
>> 1+1=2.\placeclosesymbol
>> \stopformula
>> \stopproof
>> 
>> 
>> 
>> \startproof
>> This is a rather advanced proof, ending with formulas
>> \startformula
>> \startalign
>> \NC 1+1 \NC = 2,\NR
>> \NC 2+2 \NC = 4.\NR
>> \stopalign
>> \stopformula
>> \stopproof
>> 
>> \startproof
>> This is a rather advanced proof, ending with formulas
>> \startformula
>> \startalign
>> \NC 1+1 \NC = 2,\NR
>> \NC 2+2 \NC = 4.\placeclosesymbol\NR
>> \stopalign
>> \stopformula
>> \stopproof
>> 
>> \stoptext
> 
> Partly shameful bump.
> 
> Is it even possible? (It is using LaTeX and the \qedhere command)
> 
> Could I provide more information?
> 
> /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://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> 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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

Re: [NTG-context] closesymbol on same line as displayed formula

2017-03-20 Thread Mikael P. Sundqvist
On Tue, Mar 14, 2017 at 7:23 PM, Mikael P. Sundqvist  wrote:
> Hi,
>
> I'm bringing up an old question on placing the qedsymbol, or
> closesymbol as it is also called. This was previously discussed in
> https://mailman.ntg.nl/pipermail/ntg-context/2014/079807.html and the
> purpose of this post is to ask if there is any solution to the problem
> now. Looking at the file below (output is attached), when the proof
> ends with a displayed formula, the closesymbol is located one row
> down. I want it to be (flushright) on the same line as the displayed
> formula.
>
> If I use \placeclosesymbol the closesymbol is indeed put on the
> correct line, but not flushright.
>
> Any ideas? I'm willing to use some command like \placeclosesymbol in
> the occations when the proof ends with a displayed formula.
>
> /Mikael
>
> \defineenumeration[proof][
> number=no,
> text=Proof,
> headstyle={\it},
> alternative=serried,
> width=fit,
> closesymbol={$\square$},
> ]
>
> \starttext
>
> \startproof
> This is a short proof.
> \stopproof
>
> \startproof
> This is another short proof, ending with the formula
> \startformula
> 1+1=2.
> \stopformula
> \stopproof
>
> \startproof
> This is another short proof, ending with the formula
> \startformula
> 1+1=2.\placeclosesymbol
> \stopformula
> \stopproof
>
>
>
> \startproof
> This is a rather advanced proof, ending with formulas
> \startformula
> \startalign
> \NC 1+1 \NC = 2,\NR
> \NC 2+2 \NC = 4.\NR
> \stopalign
> \stopformula
> \stopproof
>
> \startproof
> This is a rather advanced proof, ending with formulas
> \startformula
> \startalign
> \NC 1+1 \NC = 2,\NR
> \NC 2+2 \NC = 4.\placeclosesymbol\NR
> \stopalign
> \stopformula
> \stopproof
>
> \stoptext

Partly shameful bump.

Is it even possible? (It is using LaTeX and the \qedhere command)

Could I provide more information?

/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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___

[NTG-context] closesymbol on same line as displayed formula

2017-03-14 Thread Mikael P. Sundqvist
Hi,

I'm bringing up an old question on placing the qedsymbol, or
closesymbol as it is also called. This was previously discussed in
https://mailman.ntg.nl/pipermail/ntg-context/2014/079807.html and the
purpose of this post is to ask if there is any solution to the problem
now. Looking at the file below (output is attached), when the proof
ends with a displayed formula, the closesymbol is located one row
down. I want it to be (flushright) on the same line as the displayed
formula.

If I use \placeclosesymbol the closesymbol is indeed put on the
correct line, but not flushright.

Any ideas? I'm willing to use some command like \placeclosesymbol in
the occations when the proof ends with a displayed formula.

/Mikael

\defineenumeration[proof][
number=no,
text=Proof,
headstyle={\it},
alternative=serried,
width=fit,
closesymbol={$\square$},
]

\starttext

\startproof
This is a short proof.
\stopproof

\startproof
This is another short proof, ending with the formula
\startformula
1+1=2.
\stopformula
\stopproof

\startproof
This is another short proof, ending with the formula
\startformula
1+1=2.\placeclosesymbol
\stopformula
\stopproof



\startproof
This is a rather advanced proof, ending with formulas
\startformula
\startalign
\NC 1+1 \NC = 2,\NR
\NC 2+2 \NC = 4.\NR
\stopalign
\stopformula
\stopproof

\startproof
This is a rather advanced proof, ending with formulas
\startformula
\startalign
\NC 1+1 \NC = 2,\NR
\NC 2+2 \NC = 4.\placeclosesymbol\NR
\stopalign
\stopformula
\stopproof

\stoptext


ctx-listexample25.pdf
Description: Adobe PDF document
___
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://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___