From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89215 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: Tue, 11 Nov 2014 14:55:41 +0100 Message-ID: References: <023E34CE-C029-49A8-9797-081998DFDB4A@gmail.com> <222D2F7D-8F4B-41BF-BC76-839B73CA12C0@gmail.com> <54608091.7090606@wxs.nl> <54608C4B.5030607@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" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415714202 25947 80.91.229.3 (11 Nov 2014 13:56:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 11 Nov 2014 13:56:42 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Tue Nov 11 14:56:38 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 1XoBvy-0004mJ-8e for gctc-ntg-context-518@m.gmane.org; Tue, 11 Nov 2014 14:56:38 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id B22DA10226 for ; Tue, 11 Nov 2014 14:56: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 8B1pPV335hGl for ; Tue, 11 Nov 2014 14:56:36 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id D8F801022E for ; Tue, 11 Nov 2014 14:56:11 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 7BA80101E4 for ; Tue, 11 Nov 2014 14:56:08 +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 P9iquHl7l4iC for ; Tue, 11 Nov 2014 14:56:07 +0100 (CET) Original-Received: from filter2-til.mf.surf.net (filter2-til.mf.surf.net [194.171.167.218]) by balder.ntg.nl (Postfix) with ESMTP id 6F3AD101E3 for ; Tue, 11 Nov 2014 14:56:02 +0100 (CET) Original-Received: from mail-wg0-x233.google.com (mail-wg0-x233.google.com [IPv6:2a00:1450:400c:c00::233]) by filter2-til.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sABDu1I6030880 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Tue, 11 Nov 2014 14:56:01 +0100 Original-Received: by mail-wg0-f51.google.com with SMTP id l18so11487872wgh.38 for ; Tue, 11 Nov 2014 05:56:01 -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=B6H+iBr0VQ/RREgJfSOAwLQEpvfUUHxIMAs6j2un2RA=; b=LUUMdKHe4uYKHnH0lNyTZoqsKT1r8T9IoInfGq1/H1jvIcjdYzQ5bULSPnb3z4PvNf q9SXnKzxSFu2+cjkfGAUBLpnQZE4ZNmNlkttYEXQ84RtqkUzs+D3rVncTFfsshtLZZnK RnGbs2oAgYrTCuLZu9DOFrEUkow38/vUyJauYvREGBv3v6jTebNaVRRS3mLOCtaWmzVy Q1gqr5LXFQfcuxOqcEZWzBFHkQsgpoBOgO9MqfwyfCjwNCoQ7B1S6CyRB71rCq/GToCJ DwYI+J102MERHXE3z823SPt9HZn7p57RU066YqxH0j9xu7gYbVd7Zwp6J2BZpO7GONVG 8j/w== X-Received: by 10.180.9.33 with SMTP id w1mr41441158wia.22.1415714161240; Tue, 11 Nov 2014 05:56:01 -0800 (PST) Original-Received: by 10.180.101.227 with HTTP; Tue, 11 Nov 2014 05:55:41 -0800 (PST) In-Reply-To: X-Bayes-Prob: 0.0001 (Score 0, tokens from: ntg-context@ntg.nl, base:default, @@RPTN) X-CanIt-Geo: ip=2a00:1450:400c:c00::233; country=IE X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 0TNedU1Ub - 86dc144f6511 - 20141111 (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:89215 Archived-At: T24gTW9uLCBOb3YgMTAsIDIwMTQgYXQgMTE6MjIgQU0sIE90YXJlZCBLYXZpYW4gPG90YXJlZEBn bWFpbC5jb20+IHdyb3RlOgo+Cj4+IE9uIDEwIE5vdiAyMDE0LCBhdCAxMDo1OCwgSGFucyBIYWdl biA8cHJhZ21hQHd4cy5ubD4gd3JvdGU6Cj4+IFvigKZdCj4+IGknbSBub3Qgc3VycHJpc2VkOiBl cW5vIG9ubHkgd29ya3MgaW4gYSBmb3JtdWxhIGFuZCBjbG9zZWNvbW1hbmQgaXMgbm90IGluIHRo ZSBmb3JtdWxhIC4uLiBpdCB3b3VsZCBub3QgYWxpZ24gcHJvcGVybHkgYW55d2F5Cj4KPiBPaOKA piBJIHNlZS4KPiBTbyB0aGVyZSBpcyBub3QgYW55bW9yZSB0aGUgcG9zc2liaWxpdHkgdG8gZmlu aXNoIGFuIGVudW1lcmF0aW9uIChzdWNoIGFzIMKrIHByb29mIMK7IGluZSBNaWthZWzigJlzIGV4 YW1wbGUpIHdpdGggYWZvcm11bGEgYW5kIGF1dG9tYXRpY2FsbHkgZ2V0IHRoZSBzcXVhcmUgb2Yg cWVkIG9uIHRoZSByaWdodD8gVGhpcyB3YXMgcG9zc2libGUgZm9yIHF1aXRlIGEgbG9uZyB0aW1l LCBhbHRob3VnaCBwZXJzb25uYWxseSBJIGhhdmUgdXNlZCBpdCBzZWxkb20uCj4KPiBUaGFua3Mg YW5kIGJlc3QgcmVnYXJkczogT0sKPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+IElmIHlv dXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQg YW4gZW50cnkgdG8gdGhlIFdpa2khCj4KPiBtYWlsbGlzdCA6IG50Zy1jb250ZXh0QG50Zy5ubCAv IGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQKPiB3ZWJwYWdl ICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90ZXguYWFuaGV0Lm5ldAo+IGFy Y2hpdmUgIDogaHR0cDovL2ZvdW5kcnkuc3VwZWxlYy5mci9wcm9qZWN0cy9jb250ZXh0cmV2Lwo+ IHdpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cj4gX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX18KCk9LLCBzbyBJIHdpbGwgcHV0IHRoZSBzcXVhcmUgdGhlcmUgYnkgaGFuZCBmcm9t IG5vdyBvbi4KCkJlc3QgcmVnYXJkcywgTWlrYWVsCl9fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f CklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFz ZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50Zy1jb250ZXh0QG50Zy5u bCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQKd2VicGFn ZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8vdGV4LmFhbmhldC5uZXQKYXJj aGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2NvbnRleHRyZXYvCndp a2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19f