From: Hans Hagen <pragma@wxs.nl>
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Subject: Re: position of qed symbol in proofs
Date: Mon, 10 Nov 2014 10:58:35 +0100 [thread overview]
Message-ID: <54608C4B.5030607@wxs.nl> (raw)
In-Reply-To: <A7B15342-7350-40E2-86E0-B0FBE6FB4E81@gmail.com>
On 11/10/2014 10:31 AM, Otared Kavian wrote:
> Hi Hans,
>
> Thanks for your attention. However the following doesn’t result in what is expected:
>
> %% begin proof-qed.tex
> \defineenumeration
> [proof]
> [number=no,
> closesymbol=\mathematics{\square},
> closecommand=\mathortext\eqno\wordright]
>
> \starttext
> \startproof
> This is a simple proof.
> \stopproof
>
> \startproof
> This is another simple proof that ends with a formula
> \startformula
> 1+2=3.
> \stopformula
> \stopproof
>
> \stoptext
> %% end proof-qed.tex
>
> Neither does the use of displaymath, that is
> $$1+2=3.$$
>
> Best regards: OK
>
>
>> On 10 Nov 2014, at 10:08, Hans Hagen <pragma@wxs.nl> wrote:
>>
>> On 11/10/2014 6:54 AM, Otared Kavian wrote:
>>> Hi Mikael,
>>>
>>> Actually I just tried your example with the ConTeXt version on TeX Live, as well as with a copy dating back to 2014-02-14, and both behaved in the same wrong way regarding the closesymbol and closecommand. So in
>>>
>>> \setupenumeration[proof]
>>> [number=no,
>>> closesymbol=\mathematics{\square},
>>> closecommand=\ifmmode\eqno\else\wordright\fi]
>>>
>>> the \ifmmode is not honoured, and the change must have happened quite earlier than a few weeks.
>>>
>>> Maybe we should open a new thread as a bug in closecommand?
>>
>> it probably has to do with the if test and some checking on 'command' ...
>>
>> \defineenumeration
>> [proof]
>> [number=no,
>> closesymbol=\mathematics{\square},
>> closecommand=\mathortext\eqno\wordright]
i'm not surprised: eqno only works in a formula and closecommand is not
in the formula ... it would not align properly anyway
-----------------------------------------------------------------
Hans Hagen | PRAGMA ADE
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com
| www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
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
___________________________________________________________________________________
next prev parent reply other threads:[~2014-11-10 9:58 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-03 20:15 Mikael P. Sundqvist
2014-11-08 13:40 ` Mikael P. Sundqvist
2014-11-08 16:43 ` Otared Kavian
2014-11-09 20:29 ` Mikael P. Sundqvist
2014-11-10 5:54 ` Otared Kavian
2014-11-10 9:08 ` Hans Hagen
2014-11-10 9:31 ` Otared Kavian
2014-11-10 9:58 ` Hans Hagen [this message]
2014-11-10 10:22 ` Otared Kavian
2014-11-11 13:55 ` Mikael P. Sundqvist
2014-11-11 15:29 ` Hans Hagen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=54608C4B.5030607@wxs.nl \
--to=pragma@wxs.nl \
--cc=ntg-context@ntg.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).