From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89195 Path: news.gmane.org!not-for-mail From: "Mikael P. Sundqvist" Newsgroups: gmane.comp.tex.context Subject: Re: position of qed symbol in proofs Date: Sun, 9 Nov 2014 21:29:12 +0100 Message-ID: References: <023E34CE-C029-49A8-9797-081998DFDB4A@gmail.com> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415565015 20841 80.91.229.3 (9 Nov 2014 20:30:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 9 Nov 2014 20:30:15 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sun Nov 09 21:30:08 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 1XnZ7b-0000Nw-Ax for gctc-ntg-context-518@m.gmane.org; Sun, 09 Nov 2014 21:30:03 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id D2A8110227 for ; Sun, 9 Nov 2014 21:30:02 +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 bktfGL7-cU6N for ; Sun, 9 Nov 2014 21:30:01 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 389C41022F for ; Sun, 9 Nov 2014 21:29:38 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 0CFD6101E4 for ; Sun, 9 Nov 2014 21:29:35 +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 BqPpFW2tiVmm for ; Sun, 9 Nov 2014 21:29:33 +0100 (CET) Original-Received: from filter1-utr.mf.surf.net (filter1-utr.mf.surf.net [195.169.124.152]) by balder.ntg.nl (Postfix) with ESMTP id E0E7A101E3 for ; Sun, 9 Nov 2014 21:29:33 +0100 (CET) Original-Received: from mail-wg0-x235.google.com (mail-wg0-x235.google.com [IPv6:2a00:1450:400c:c00::235]) by filter1-utr.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sA9KTJsB031073 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Sun, 9 Nov 2014 21:29:19 +0100 Original-Received: by mail-wg0-f53.google.com with SMTP id b13so7451809wgh.26 for ; Sun, 09 Nov 2014 12:29:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=CGAlBnugtGlJBMrxCcnl4cALhZUKLsZ2QVJDnu+BlHs=; b=EOX5e8I4oGuyk4b/VEfm74V37XeCsHPeDV3AixNidHxRUcSKmErRApJwd244ukbd9O Ib/clAfUtKokHMMH/gnZEBS/v6nTDrwvFXmieZbNpivt6Cb2K7uzMnq/Go+dkdFj/YkF 0O++mhhOieUm2NRhEDKcHwgRR3PIQPlk3AOjIvBFofSzw2yCwXFC/RDRUTMd+MFbKSDY 6hQ09HiWpw2N9LH/apxFsSLSq3g7eNi5f419YvRt0EhPW+YjmhhtA8kLcWeFIl/WwXvO EhTaazDuSXH1H9tyX+c+CORrpHPhdguG6w5jtuDvlNopu1cFZpRutaE+7nwjrPV+yhbh vf9w== X-Received: by 10.180.81.102 with SMTP id z6mr24034066wix.69.1415564972781; Sun, 09 Nov 2014 12:29:32 -0800 (PST) Original-Received: by 10.180.101.227 with HTTP; Sun, 9 Nov 2014 12:29:12 -0800 (PST) In-Reply-To: <023E34CE-C029-49A8-9797-081998DFDB4A@gmail.com> X-Bayes-Prob: 0.0001 (Score 0, tokens from: ntg-context@ntg.nl, base:default, @@RPTN) X-CanIt-Geo: ip=2a00:1450:400c:c00::235; country=IE X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 07Ndwtjhf - 87d70884fd47 - 20141109 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) 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:89195 Archived-At: T24gU2F0LCBOb3YgOCwgMjAxNCBhdCA1OjQzIFBNLCBPdGFyZWQgS2F2aWFuIDxvdGFyZWRAZ21h aWwuY29tPiB3cm90ZToKPiBIaSBNaWthZWwsCj4KPiBJbiBteSBmaWxlcyBJIGhhdmUgdGhlIGZv bGxvd2luZyB3aGljaCB1c2VkIHRvIHdvcmssIGJ1dCBpdCBkb2VzbuKAmXQgd29yayBhcyBleHBl Y3RlZCBhbnltb3JlLCBhcyB5b3UgcG9pbnQgb3V0Cj4KPiBcZGVmaW5lZW51bWVyYXRpb25bcHJv b2ZdW3RleHQ9UHJvb2YuXQo+Cj4gXHNldHVwZW51bWVyYXRpb25bcHJvb2ZdCj4gICAgICAgICBb bnVtYmVyPW5vLAo+ICAgICAgICAgY2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNze1xzcXVhcmV9LAo+ ICAgICAgICAgY2xvc2Vjb21tYW5kPVxpZm1tb2RlXGVxbm9cZWxzZVx3b3JkcmlnaHRcZmldCj4K Pgo+IFxzdGFydHRleHQKPiBcc3RhcnRwcm9vZgo+IFRoaXMgaXMgYSBzaW1wbGUgcHJvb2YuCj4g XHN0b3Bwcm9vZgo+Cj4gXHN0YXJ0cHJvb2YKPiBUaGlzIGlzIGFub3RoZXIgc2ltcGxlIHByb29m IHRoYXQgZW5kcyB3aXRoIGEgZm9ybXVsYQo+IFxzdGFydGZvcm11bGEKPiAxKzE9Mi4KPiBcc3Rv cGZvcm11bGEKPiBcc3RvcHByb29mCj4gXHN0b3B0ZXh0Cj4KPiBJIGRvbuKAmXQga25vdyB3aGVu IHRoZSBjaGFuZ2Ugb2NjdXJyZWQsIGJ1dCBhdCBsZWFzdCBpdCB3b3JrZWQgbGFzdCB5ZWFyICh3 aGljaCBmb3IgQ29uVGVYdCBtZWFucyBwcmVnaXN0b3JpYyB0aW1lc+KApiA64oCUKS4KPiBBcyBh IHRlbXBvcmFyeSBoYWNrIG9uZSBjYW4gYWx3YXlzIHNheToKPiBcc3RhcnRmb3JtdWxhCj4gMSsx PTIuIFxlcW5ve1xzcXVhcmV9Cj4gXHN0b3Bmb3JtdWxhCj4KPiBCZXN0IHJlZ2FyZHM6IE9LCj4K Pj4gT24gMDggTm92IDIwMTQsIGF0IDE0OjQwLCBNaWthZWwgUC4gU3VuZHF2aXN0IDxtaWNrZXBA Z21haWwuY29tPiB3cm90ZToKPj4KPj4gT24gTW9uLCBOb3YgMywgMjAxNCBhdCA5OjE1IFBNLCBN aWthZWwgUC4gU3VuZHF2aXN0IDxtaWNrZXBAZ21haWwuY29tPiB3cm90ZToKPj4+IEhpLAo+Pj4K Pj4+IEkgb25jZSB1c2VkCj4+Pgo+Pj4gXGRlZmluZWVudW1lcmF0aW9uW3Byb29mXVsKPj4+IHRl eHQ9UHJvb2YsCj4+PiBjbG9zZXN5bWJvbD1cbWF0aGVtYXRpY3N7XHNxdWFyZX0sCj4+PiBjbG9z ZWNvbW1hbmQ9XGlmbW1vZGVcZXFub1xlbHNlXHdvcmRyaWdodFxmaSwKPj4+IF0KPj4+Cj4+PiBc c3RhcnR0ZXh0Cj4+PiBcc3RhcnRwcm9vZgo+Pj4gVGhpcyBpcyBhIHNpbXBsZSBwcm9vZi4KPj4+ IFxzdG9wcHJvb2YKPj4+Cj4+PiBcc3RhcnRwcm9vZgo+Pj4gVGhpcyBpcyBhbm90aGVyIHNpbXBs ZSBwcm9vZiB0aGF0IGVuZHMgd2l0aCBhIGZvcm11bGEKPj4+IFxzdGFydGZvcm11bGEKPj4+IDEr MT0yLgo+Pj4gXHN0b3Bmb3JtdWxhCj4+PiBcc3RvcHByb29mCj4+PiBcc3RvcHRleHQKPj4+Cj4+ PiB0byBnZXQgdGhlIFxzcXVhcmUgYXQgdGhlIGVuZCBvZiBwcm9vZnMsIGFuZCBpdCB3b3JrZWQg b3V0IHdlbGwuIEJ1dAo+Pj4gd2l0aCB0aGUgbGF0ZXN0IGJldGEgKGFuZCBzb21lIHByZXZpb3Vz IG9uZShzKSksIHRoZSBcc3F1YXJlIGlzIG5vdAo+Pj4gcGxhY2VkIGF0IHRoZSBzYW1lIGxpbmUg YXMgdGhlIGZvcm11bGEgaW4gdGhlIHNlY29uZCBleGFtcGxlLiBJcyBpdAo+Pj4gYnJva2VuPyBP ciBpcyB0aGVyZSBhIG5ldyBzeW50YXg/Cj4+Pgo+Pj4gUERGIHdpdGggbXkgcmVzdWx0IGlzIGF0 dGFjaGVkLgo+Pj4KPj4+IEJlc3QgcmVnYXJkcywgTWlrYWVsCj4+Cj4+IEkgZG9uJ3QgbGlrZSB0 byBidW1wLCBidXQuLi4gTm9vbmUgZWxzZSBoYXMgdGhpcyBwcm9ibGVtPwo+Pgo+PiBASGFuczog SXMgaXQgZWFzaWx5IGZpeGVkPwo+Pgo+PiAvTWlrYWVsCj4+IF9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fCj4+IElmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdl bGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCj4+Cj4+IG1haWxsaXN0IDogbnRn LWNvbnRleHRAbnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGct Y29udGV4dAo+PiB3ZWJwYWdlICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90 ZXguYWFuaGV0Lm5ldAo+PiBhcmNoaXZlICA6IGh0dHA6Ly9mb3VuZHJ5LnN1cGVsZWMuZnIvcHJv amVjdHMvY29udGV4dHJldi8KPj4gd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQK Pj4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPgo+IF9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCj4gSWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwg cGxlYXNlIGFkZCBhbiBlbnRyeSB0byB0aGUgV2lraSEKPgo+IG1haWxsaXN0IDogbnRnLWNvbnRl eHRAbnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4 dAo+IHdlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL3RleC5hYW5o ZXQubmV0Cj4gYXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2Nv bnRleHRyZXYvCj4gd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKPiBfX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fXwoKSGkgT3RhcmVkLAoKdGhhbmsgeW91IGZvciBsb29raW5nIGF0 IHRoaXMuIEl0IGZlZWxzIGdvb2QgdGhhdCBpdCBpcyBub3Qgb25seSBtZQp3aG8gaGFzIHRoaXMg cHJvYmxlbS4gQXMgZmFyIGFzIEkgcmVtZW1iZXIsIHRoaXMgaXNzdWUgd2FzIG5vdCBwcmVzZW50 CjMtNCB3ZWVrcyBhZ28uCgovTWlrYWVsCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCklmIHlv dXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQg YW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0 dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQKd2VicGFnZSAgOiBo dHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8vdGV4LmFhbmhldC5uZXQKYXJjaGl2ZSAg OiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2NvbnRleHRyZXYvCndpa2kgICAg IDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f