* position of qed symbol in proofs
@ 2014-11-03 20:15 Mikael P. Sundqvist
2014-11-08 13:40 ` Mikael P. Sundqvist
0 siblings, 1 reply; 11+ messages in thread
From: Mikael P. Sundqvist @ 2014-11-03 20:15 UTC (permalink / raw)
To: mailing list for ConTeXt users
[-- Attachment #1: Type: text/plain, Size: 616 bytes --]
Hi,
I once used
\defineenumeration[proof][
text=Proof,
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
\stoptext
to get the \square at the end of proofs, and it worked out well. But
with the latest beta (and some previous one(s)), the \square is not
placed at the same line as the formula in the second example. Is it
broken? Or is there a new syntax?
PDF with my result is attached.
Best regards, Mikael
[-- Attachment #2: qed.pdf --]
[-- Type: application/pdf, Size: 10071 bytes --]
[-- Attachment #3: Type: text/plain, Size: 485 bytes --]
___________________________________________________________________________________
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
___________________________________________________________________________________
^ permalink raw reply [flat|nested] 11+ messages in thread* Re: position of qed symbol in proofs 2014-11-03 20:15 position of qed symbol in proofs Mikael P. Sundqvist @ 2014-11-08 13:40 ` Mikael P. Sundqvist 2014-11-08 16:43 ` Otared Kavian 0 siblings, 1 reply; 11+ messages in thread From: Mikael P. Sundqvist @ 2014-11-08 13:40 UTC (permalink / raw) To: mailing list for ConTeXt users On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist <mickep@gmail.com> wrote: > Hi, > > I once used > > \defineenumeration[proof][ > text=Proof, > 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 > \stoptext > > to get the \square at the end of proofs, and it worked out well. But > with the latest beta (and some previous one(s)), the \square is not > placed at the same line as the formula in the second example. Is it > broken? Or is there a new syntax? > > PDF with my result is attached. > > Best regards, Mikael I don't like to bump, but... Noone else has this problem? @Hans: Is it easily fixed? /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://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-08 13:40 ` Mikael P. Sundqvist @ 2014-11-08 16:43 ` Otared Kavian 2014-11-09 20:29 ` Mikael P. Sundqvist 0 siblings, 1 reply; 11+ messages in thread From: Otared Kavian @ 2014-11-08 16:43 UTC (permalink / raw) To: mailing list for ConTeXt users Hi Mikael, In my files I have the following which used to work, but it doesn’t work as expected anymore, as you point out \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 \stoptext I don’t know when the change occurred, but at least it worked last year (which for ConTeXt means pregistoric times… :—). As a temporary hack one can always say: \startformula 1+1=2. \eqno{\square} \stopformula Best regards: OK > On 08 Nov 2014, at 14:40, Mikael P. Sundqvist <mickep@gmail.com> wrote: > > On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist <mickep@gmail.com> wrote: >> Hi, >> >> I once used >> >> \defineenumeration[proof][ >> text=Proof, >> 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 >> \stoptext >> >> to get the \square at the end of proofs, and it worked out well. But >> with the latest beta (and some previous one(s)), the \square is not >> placed at the same line as the formula in the second example. Is it >> broken? Or is there a new syntax? >> >> PDF with my result is attached. >> >> Best regards, Mikael > > I don't like to bump, but... Noone else has this problem? > > @Hans: Is it easily fixed? > > /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://tex.aanhet.net > archive : http://foundry.supelec.fr/projects/contextrev/ > 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://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-08 16:43 ` Otared Kavian @ 2014-11-09 20:29 ` Mikael P. Sundqvist 2014-11-10 5:54 ` Otared Kavian 0 siblings, 1 reply; 11+ messages in thread From: Mikael P. Sundqvist @ 2014-11-09 20:29 UTC (permalink / raw) To: mailing list for ConTeXt users On Sat, Nov 8, 2014 at 5:43 PM, Otared Kavian <otared@gmail.com> wrote: > Hi Mikael, > > In my files I have the following which used to work, but it doesn’t work as expected anymore, as you point out > > \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 > \stoptext > > I don’t know when the change occurred, but at least it worked last year (which for ConTeXt means pregistoric times… :—). > As a temporary hack one can always say: > \startformula > 1+1=2. \eqno{\square} > \stopformula > > Best regards: OK > >> On 08 Nov 2014, at 14:40, Mikael P. Sundqvist <mickep@gmail.com> wrote: >> >> On Mon, Nov 3, 2014 at 9:15 PM, Mikael P. Sundqvist <mickep@gmail.com> wrote: >>> Hi, >>> >>> I once used >>> >>> \defineenumeration[proof][ >>> text=Proof, >>> 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 >>> \stoptext >>> >>> to get the \square at the end of proofs, and it worked out well. But >>> with the latest beta (and some previous one(s)), the \square is not >>> placed at the same line as the formula in the second example. Is it >>> broken? Or is there a new syntax? >>> >>> PDF with my result is attached. >>> >>> Best regards, Mikael >> >> I don't like to bump, but... Noone else has this problem? >> >> @Hans: Is it easily fixed? >> >> /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://tex.aanhet.net >> archive : http://foundry.supelec.fr/projects/contextrev/ >> 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://tex.aanhet.net > archive : http://foundry.supelec.fr/projects/contextrev/ > wiki : http://contextgarden.net > ___________________________________________________________________________________ Hi Otared, thank you for looking at this. It feels good that it is not only me who has this problem. As far as I remember, this issue was not present 3-4 weeks ago. /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://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-09 20:29 ` Mikael P. Sundqvist @ 2014-11-10 5:54 ` Otared Kavian 2014-11-10 9:08 ` Hans Hagen 0 siblings, 1 reply; 11+ messages in thread From: Otared Kavian @ 2014-11-10 5:54 UTC (permalink / raw) To: mailing list for ConTeXt users 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? Best regards: OK > On 09 Nov 2014, at 21:29, Mikael P. Sundqvist <mickep@gmail.com> wrote: > […] > Hi Otared, > > thank you for looking at this. It feels good that it is not only me > who has this problem. As far as I remember, this issue was not present > 3-4 weeks ago. > > /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://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-10 5:54 ` Otared Kavian @ 2014-11-10 9:08 ` Hans Hagen 2014-11-10 9:31 ` Otared Kavian 0 siblings, 1 reply; 11+ messages in thread From: Hans Hagen @ 2014-11-10 9:08 UTC (permalink / raw) To: mailing list for ConTeXt users 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] ----------------------------------------------------------------- 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 ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-10 9:08 ` Hans Hagen @ 2014-11-10 9:31 ` Otared Kavian 2014-11-10 9:58 ` Hans Hagen 0 siblings, 1 reply; 11+ messages in thread From: Otared Kavian @ 2014-11-10 9:31 UTC (permalink / raw) To: mailing list for ConTeXt users 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] > > > ----------------------------------------------------------------- > 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 > ___________________________________________________________________________________ ___________________________________________________________________________________ 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 ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-10 9:31 ` Otared Kavian @ 2014-11-10 9:58 ` Hans Hagen 2014-11-10 10:22 ` Otared Kavian 0 siblings, 1 reply; 11+ messages in thread From: Hans Hagen @ 2014-11-10 9:58 UTC (permalink / raw) To: mailing list for ConTeXt users 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 ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-10 9:58 ` Hans Hagen @ 2014-11-10 10:22 ` Otared Kavian 2014-11-11 13:55 ` Mikael P. Sundqvist 0 siblings, 1 reply; 11+ messages in thread From: Otared Kavian @ 2014-11-10 10:22 UTC (permalink / raw) To: mailing list for ConTeXt users > On 10 Nov 2014, at 10:58, Hans Hagen <pragma@wxs.nl> wrote: > […] > i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway Oh… I see. So there is not anymore the possibility to finish an enumeration (such as « proof » ine Mikael’s example) with aformula and automatically get the square of qed on the right? This was possible for quite a long time, although personnally I have used it seldom. Thanks and 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://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-10 10:22 ` Otared Kavian @ 2014-11-11 13:55 ` Mikael P. Sundqvist 2014-11-11 15:29 ` Hans Hagen 0 siblings, 1 reply; 11+ messages in thread From: Mikael P. Sundqvist @ 2014-11-11 13:55 UTC (permalink / raw) To: mailing list for ConTeXt users On Mon, Nov 10, 2014 at 11:22 AM, Otared Kavian <otared@gmail.com> wrote: > >> On 10 Nov 2014, at 10:58, Hans Hagen <pragma@wxs.nl> wrote: >> […] >> i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway > > Oh… I see. > So there is not anymore the possibility to finish an enumeration (such as « proof » ine Mikael’s example) with aformula and automatically get the square of qed on the right? This was possible for quite a long time, although personnally I have used it seldom. > > Thanks and 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://tex.aanhet.net > archive : http://foundry.supelec.fr/projects/contextrev/ > wiki : http://contextgarden.net > ___________________________________________________________________________________ OK, so I will put the square there by hand from now on. Best regards, 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://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: position of qed symbol in proofs 2014-11-11 13:55 ` Mikael P. Sundqvist @ 2014-11-11 15:29 ` Hans Hagen 0 siblings, 0 replies; 11+ messages in thread From: Hans Hagen @ 2014-11-11 15:29 UTC (permalink / raw) To: ntg-context On 11/11/2014 2:55 PM, Mikael P. Sundqvist wrote: > On Mon, Nov 10, 2014 at 11:22 AM, Otared Kavian <otared@gmail.com> wrote: >> >>> On 10 Nov 2014, at 10:58, Hans Hagen <pragma@wxs.nl> wrote: >>> […] >>> i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway >> >> Oh… I see. >> So there is not anymore the possibility to finish an enumeration (such as « proof » ine Mikael’s example) with aformula and automatically get the square of qed on the right? This was possible for quite a long time, although personnally I have used it seldom. >> >> Thanks and 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://tex.aanhet.net >> archive : http://foundry.supelec.fr/projects/contextrev/ >> wiki : http://contextgarden.net >> ___________________________________________________________________________________ > > OK, so I will put the square there by hand from now on. you can use it but not to put *anything* you like there and expect it to behave ... i really wonder if \eqno ever worked there as it's an "embedded in formulas" command ... if it did, it was definitely a side effect Hans ----------------------------------------------------------------- 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 ___________________________________________________________________________________ ^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2014-11-11 15:29 UTC | newest] Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2014-11-03 20:15 position of qed symbol in proofs 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 2014-11-10 10:22 ` Otared Kavian 2014-11-11 13:55 ` Mikael P. Sundqvist 2014-11-11 15:29 ` Hans Hagen
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).