From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89204 Path: news.gmane.org!not-for-mail From: Hans Hagen Newsgroups: gmane.comp.tex.context Subject: Re: position of qed symbol in proofs Date: Mon, 10 Nov 2014 10:58:35 +0100 Message-ID: <54608C4B.5030607@wxs.nl> References: <023E34CE-C029-49A8-9797-081998DFDB4A@gmail.com> <222D2F7D-8F4B-41BF-BC76-839B73CA12C0@gmail.com> <54608091.7090606@wxs.nl> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415613559 26675 80.91.229.3 (10 Nov 2014 09:59:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 10 Nov 2014 09:59:19 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Mon Nov 10 10:59:13 2014 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from balder.ntg.nl ([5.39.185.229]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Xnlke-0006uP-Tn for gctc-ntg-context-518@m.gmane.org; Mon, 10 Nov 2014 10:59:13 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 3C6EE10222 for ; Mon, 10 Nov 2014 10:59:12 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at balder.ntg.nl Original-Received: from balder.ntg.nl ([127.0.0.1]) by localhost (balder.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id vA6mawq2KOGp for ; Mon, 10 Nov 2014 10:59:11 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 7561810232 for ; Mon, 10 Nov 2014 10:58:43 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id DC5ED101E4 for ; Mon, 10 Nov 2014 10:58:38 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at balder.ntg.nl Original-Received: from balder.ntg.nl ([127.0.0.1]) by localhost (balder.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id oKynl6K6UJT6 for ; Mon, 10 Nov 2014 10:58:38 +0100 (CET) Original-Received: from filter3-til.mf.surf.net (filter3-til.mf.surf.net [194.171.167.219]) by balder.ntg.nl (Postfix) with ESMTP id 1CBAE101E3 for ; Mon, 10 Nov 2014 10:58:38 +0100 (CET) Original-Received: from smtp.ziggozakelijk.nl (D57D1DA2.static.ziggozakelijk.nl [213.125.29.162]) by filter3-til.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sAA9waLT008590 for ; Mon, 10 Nov 2014 10:58:36 +0100 X-Default-Received-SPF: pass (skip=loggedin (res=PASS)) x-ip-name=10.100.1.103; Original-Received: from [10.100.1.103] (unverified [10.100.1.103]) by pragma-net.nl (SurgeMail 6.5a2) with ESMTP id 5740-1713362 for ; Mon, 10 Nov 2014 10:58:35 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 In-Reply-To: X-Authenticated-User: hagen@controller-9 X-Bayes-Prob: 0.0001 (Score 0, tokens from: ntg-context@ntg.nl, base:default, @@RPTN) X-CanIt-Geo: ip=213.125.29.162; country=NL; region=Provincie Overijssel; city=Zwartsluis; latitude=52.6408; longitude=6.0694; http://maps.google.com/maps?q=52.6408,6.0694&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 06NdJWA7W - f87d0756f2ff - 20141110 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.219 X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.16 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ntg-context-bounces@ntg.nl Original-Sender: "ntg-context" Xref: news.gmane.org gmane.comp.tex.context:89204 Archived-At: T24gMTEvMTAvMjAxNCAxMDozMSBBTSwgT3RhcmVkIEthdmlhbiB3cm90ZToKPiBIaSBIYW5zLAo+ Cj4gVGhhbmtzIGZvciB5b3VyIGF0dGVudGlvbi4gSG93ZXZlciB0aGUgZm9sbG93aW5nIGRvZXNu 4oCZdCByZXN1bHQgaW4gd2hhdCBpcyBleHBlY3RlZDoKPgo+ICUlIGJlZ2luIHByb29mLXFlZC50 ZXgKPiBcZGVmaW5lZW51bWVyYXRpb24KPiAgIFtwcm9vZl0KPiAgIFtudW1iZXI9bm8sCj4gICAg Y2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNze1xzcXVhcmV9LAo+ICAgIGNsb3NlY29tbWFuZD1cbWF0 aG9ydGV4dFxlcW5vXHdvcmRyaWdodF0KPgo+IFxzdGFydHRleHQKPiBcc3RhcnRwcm9vZgo+IFRo aXMgaXMgYSBzaW1wbGUgcHJvb2YuCj4gXHN0b3Bwcm9vZgo+Cj4gXHN0YXJ0cHJvb2YKPiBUaGlz IGlzIGFub3RoZXIgc2ltcGxlIHByb29mIHRoYXQgZW5kcyB3aXRoIGEgZm9ybXVsYQo+IFxzdGFy dGZvcm11bGEKPiAxKzI9My4KPiBcc3RvcGZvcm11bGEKPiBcc3RvcHByb29mCj4KPiBcc3RvcHRl eHQKPiAlJSBlbmQgcHJvb2YtcWVkLnRleAo+Cj4gTmVpdGhlciBkb2VzIHRoZSB1c2Ugb2YgZGlz cGxheW1hdGgsIHRoYXQgaXMKPiAkJDErMj0zLiQkCj4KPiBCZXN0IHJlZ2FyZHM6IE9LCj4KPgo+ PiBPbiAxMCBOb3YgMjAxNCwgYXQgMTA6MDgsIEhhbnMgSGFnZW4gPHByYWdtYUB3eHMubmw+IHdy b3RlOgo+Pgo+PiBPbiAxMS8xMC8yMDE0IDY6NTQgQU0sIE90YXJlZCBLYXZpYW4gd3JvdGU6Cj4+ PiBIaSBNaWthZWwsCj4+Pgo+Pj4gQWN0dWFsbHkgSSBqdXN0IHRyaWVkIHlvdXIgZXhhbXBsZSB3 aXRoIHRoZSBDb25UZVh0IHZlcnNpb24gb24gVGVYIExpdmUsIGFzIHdlbGwgYXMgd2l0aCBhIGNv cHkgZGF0aW5nIGJhY2sgdG8gMjAxNC0wMi0xNCwgYW5kIGJvdGggYmVoYXZlZCBpbiB0aGUgc2Ft ZSB3cm9uZyB3YXkgcmVnYXJkaW5nIHRoZSBjbG9zZXN5bWJvbCBhbmQgY2xvc2Vjb21tYW5kLiBT byBpbgo+Pj4KPj4+IFxzZXR1cGVudW1lcmF0aW9uW3Byb29mXQo+Pj4gCVtudW1iZXI9bm8sCj4+ PiAJY2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNze1xzcXVhcmV9LAo+Pj4gCWNsb3NlY29tbWFuZD1c aWZtbW9kZVxlcW5vXGVsc2Vcd29yZHJpZ2h0XGZpXQo+Pj4KPj4+IHRoZSBcaWZtbW9kZSBpcyBu b3QgaG9ub3VyZWQsIGFuZCB0aGUgY2hhbmdlIG11c3QgaGF2ZSBoYXBwZW5lZCBxdWl0ZSBlYXJs aWVyIHRoYW4gYSBmZXcgd2Vla3MuCj4+Pgo+Pj4gTWF5YmUgd2Ugc2hvdWxkIG9wZW4gYSBuZXcg dGhyZWFkIGFzIGEgYnVnIGluIGNsb3NlY29tbWFuZD8KPj4KPj4gaXQgcHJvYmFibHkgaGFzIHRv IGRvIHdpdGggdGhlIGlmIHRlc3QgYW5kIHNvbWUgY2hlY2tpbmcgb24gJ2NvbW1hbmQnIC4uLgo+ Pgo+PiBcZGVmaW5lZW51bWVyYXRpb24KPj4gICBbcHJvb2ZdCj4+ICAgW251bWJlcj1ubywKPj4g ICAgY2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNze1xzcXVhcmV9LAo+PiAgICBjbG9zZWNvbW1hbmQ9 XG1hdGhvcnRleHRcZXFub1x3b3JkcmlnaHRdCgppJ20gbm90IHN1cnByaXNlZDogZXFubyBvbmx5 IHdvcmtzIGluIGEgZm9ybXVsYSBhbmQgY2xvc2Vjb21tYW5kIGlzIG5vdCAKaW4gdGhlIGZvcm11 bGEgLi4uIGl0IHdvdWxkIG5vdCBhbGlnbiBwcm9wZXJseSBhbnl3YXkKCi0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCiAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBIYW5zIEhhZ2VuIHwgUFJBR01B IEFERQogICAgICAgICAgICAgICBSaWRkZXJzdHJhYXQgMjcgfCA4MDYxIEdIIEhhc3NlbHQgfCBU aGUgTmV0aGVybGFuZHMKICAgICB0ZWw6IDAzOCA0NzcgNTMgNjkgfCB2b2lwOiAwODcgODc1IDY4 IDc0IHwgd3d3LnByYWdtYS1hZGUuY29tCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICB8IHd3dy5wcmFnbWEtcG9kLm5sCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCl9fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFz IHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50Zy1j b250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNv bnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8vdGV4LmFh bmhldC5uZXQKYXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2Nv bnRleHRyZXYvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19f