From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89198 Path: news.gmane.org!not-for-mail From: Otared Kavian Newsgroups: gmane.comp.tex.context Subject: Re: position of qed symbol in proofs Date: Mon, 10 Nov 2014 06:54:50 +0100 Message-ID: <222D2F7D-8F4B-41BF-BC76-839B73CA12C0@gmail.com> 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 (Mac OS X Mail 8.0 \(1990.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415598910 14903 80.91.229.3 (10 Nov 2014 05:55:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 10 Nov 2014 05:55:10 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Mon Nov 10 06:55:06 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 1XnhwQ-0004Lx-3t for gctc-ntg-context-518@m.gmane.org; Mon, 10 Nov 2014 06:55:06 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 70E031022D for ; Mon, 10 Nov 2014 06:55:05 +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 qvqZBiapsW2w for ; Mon, 10 Nov 2014 06:55:04 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 26AE71022F for ; Mon, 10 Nov 2014 06:54:42 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 7048E101E4 for ; Mon, 10 Nov 2014 06:54:37 +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 AbsGb2dvt5lB for ; Mon, 10 Nov 2014 06:54:36 +0100 (CET) Original-Received: from filter3-ams.mf.surf.net (filter3-ams.mf.surf.net [192.87.102.71]) by balder.ntg.nl (Postfix) with ESMTP id A830B101E3 for ; Mon, 10 Nov 2014 06:54:36 +0100 (CET) Original-Received: from mail-wg0-x234.google.com (mail-wg0-x234.google.com [IPv6:2a00:1450:400c:c00::234]) by filter3-ams.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sAA5sZ5j008074 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Mon, 10 Nov 2014 06:54:36 +0100 Original-Received: by mail-wg0-f52.google.com with SMTP id b13so7841887wgh.39 for ; Sun, 09 Nov 2014 21:54:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to; bh=PK6BpHMoG8Fu/MWTOzCW3DwMUBypFcTyaFdqGoz96Mg=; b=CSW0IlOBjzFDb4jE2rZCqk80nDrppAG+JNkzNrzeWj77xc9EViWITHpOUoCZzGCAq/ 8Kbe3m/4Yb41mGwezu5u5ioUGs+HgLKh9YX1T9lFnfVt/JeGba41X1oSG2pJWsOIDurb n9sM1zFT7Wf80H/F2FOUyvLetpAdH12tUbOIsZKNRDugJQNXBEoPk3lN7LuzbpFs+f/7 2i2slKUS2mI8frMuRrbeH40PKzOH5F0/OgZTj05ikCaS0BL6dGz60q5diAwxSU99JO8w 6CUJV2Mjvj2aK+XZ8yMlxuQqrIclHOVtw2Vvmwabeturl0Vaf1Rbz/jnNQAZWttRbgA9 kRfQ== X-Received: by 10.194.205.132 with SMTP id lg4mr38400019wjc.84.1415598875838; Sun, 09 Nov 2014 21:54:35 -0800 (PST) Original-Received: from [192.168.0.102] (lns-bzn-27-82-248-54-157.adsl.proxad.net. [82.248.54.157]) by mx.google.com with ESMTPSA id bl9sm11979831wib.24.2014.11.09.21.54.35 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 09 Nov 2014 21:54:35 -0800 (PST) In-Reply-To: X-Mailer: Apple Mail (2.1990.1) X-Bayes-Prob: 0.0001 (Score 0, tokens from: ntg-context@ntg.nl, base:default, @@RPTN) X-CanIt-Geo: ip=2a00:1450:400c:c00::234; country=IE X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 03NdFSAoH - 1e8d49ecaef1 - 20141110 (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:89198 Archived-At: SGkgTWlrYWVsLAoKQWN0dWFsbHkgSSBqdXN0IHRyaWVkIHlvdXIgZXhhbXBsZSB3aXRoIHRoZSBD b25UZVh0IHZlcnNpb24gb24gVGVYIExpdmUsIGFzIHdlbGwgYXMgd2l0aCBhIGNvcHkgZGF0aW5n IGJhY2sgdG8gMjAxNC0wMi0xNCwgYW5kIGJvdGggYmVoYXZlZCBpbiB0aGUgc2FtZSB3cm9uZyB3 YXkgcmVnYXJkaW5nIHRoZSBjbG9zZXN5bWJvbCBhbmQgY2xvc2Vjb21tYW5kLiBTbyBpbiAKClxz ZXR1cGVudW1lcmF0aW9uW3Byb29mXQoJW251bWJlcj1ubywKCWNsb3Nlc3ltYm9sPVxtYXRoZW1h dGljc3tcc3F1YXJlfSwKCWNsb3NlY29tbWFuZD1caWZtbW9kZVxlcW5vXGVsc2Vcd29yZHJpZ2h0 XGZpXQoKdGhlIFxpZm1tb2RlIGlzIG5vdCBob25vdXJlZCwgYW5kIHRoZSBjaGFuZ2UgbXVzdCBo YXZlIGhhcHBlbmVkIHF1aXRlIGVhcmxpZXIgdGhhbiBhIGZldyB3ZWVrcy4KCk1heWJlIHdlIHNo b3VsZCBvcGVuIGEgbmV3IHRocmVhZCBhcyBhIGJ1ZyBpbiBjbG9zZWNvbW1hbmQ/CgpCZXN0IHJl Z2FyZHM6IE9LCgo+IE9uIDA5IE5vdiAyMDE0LCBhdCAyMToyOSwgTWlrYWVsIFAuIFN1bmRxdmlz dCA8bWlja2VwQGdtYWlsLmNvbT4gd3JvdGU6Cj4gW+KApl0KPiBIaSBPdGFyZWQsCj4gCj4gdGhh bmsgeW91IGZvciBsb29raW5nIGF0IHRoaXMuIEl0IGZlZWxzIGdvb2QgdGhhdCBpdCBpcyBub3Qg b25seSBtZQo+IHdobyBoYXMgdGhpcyBwcm9ibGVtLiBBcyBmYXIgYXMgSSByZW1lbWJlciwgdGhp cyBpc3N1ZSB3YXMgbm90IHByZXNlbnQKPiAzLTQgd2Vla3MgYWdvLgo+IAo+IC9NaWthZWwKCl9f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3Qg dG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWls bGlzdCA6IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlz dGluZm8vbnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBo dHRwOi8vdGV4LmFhbmhldC5uZXQKYXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZy L3Byb2plY3RzL2NvbnRleHRyZXYvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0 Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19f