From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89184 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: Sat, 8 Nov 2014 14:40:32 +0100 Message-ID: References: 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 1415454086 24478 80.91.229.3 (8 Nov 2014 13:41:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 8 Nov 2014 13:41:26 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sat Nov 08 14:41:21 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 1Xn6GW-0000B4-TC for gctc-ntg-context-518@m.gmane.org; Sat, 08 Nov 2014 14:41:21 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 42A681022F for ; Sat, 8 Nov 2014 14:41:20 +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 mswl7Ohd0kOF for ; Sat, 8 Nov 2014 14:41:19 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id CFB5A10231 for ; Sat, 8 Nov 2014 14:40:57 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id D5E03101E7 for ; Sat, 8 Nov 2014 14:40:53 +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 ECaTFKn4f6w3 for ; Sat, 8 Nov 2014 14:40:53 +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 3364A101E3 for ; Sat, 8 Nov 2014 14:40:53 +0100 (CET) Original-Received: from mail-wi0-x22e.google.com (mail-wi0-x22e.google.com [IPv6:2a00:1450:400c:c05::22e]) by filter1-utr.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sA8Dedjv017801 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Sat, 8 Nov 2014 14:40:39 +0100 Original-Received: by mail-wi0-f174.google.com with SMTP id d1so6754476wiv.1 for ; Sat, 08 Nov 2014 05:40:52 -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; bh=4DoHZN010nmDKcJmmKVT3AINnbuMf30GXjeDrQfczKQ=; b=lPGcgrDySv+otzkt37QLZozo8r0m6aYoWrH/eWWCEFqEBdcmnQoCYpw6d4XPR3G+5j TqEAgO+7qzGKEi5ax/66cTvahDnJXqWeADXQGLu30vcEi+HqQSZ+LzvIDtHQMEEnXruP aFwMJmTz1VeAs9OB6dPdlPVp2JybkqSbkBHn503C2y3qI2/47J1V49VLQrueM2uTyu3O JpJHg1/fngwMump8HnudxuXWMX1hJ0wFxAovHW7Dr7jyp+8NEI7QCZcPrlfBsbZ60r8x FrtKoOng20czw2mV4S28vI3TQ1yU3uB0hpUFjjbX7Vs0C8J75xShMZ1RMRV7LedqPzC0 SjSQ== X-Received: by 10.194.133.229 with SMTP id pf5mr26322028wjb.73.1415454052291; Sat, 08 Nov 2014 05:40:52 -0800 (PST) Original-Received: by 10.180.101.227 with HTTP; Sat, 8 Nov 2014 05:40:32 -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:c05::22e; country=IE X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 07Nd1EDt5 - fac5a284caa3 - 20141108 (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:89184 Archived-At: T24gTW9uLCBOb3YgMywgMjAxNCBhdCA5OjE1IFBNLCBNaWthZWwgUC4gU3VuZHF2aXN0IDxtaWNr ZXBAZ21haWwuY29tPiB3cm90ZToKPiBIaSwKPgo+IEkgb25jZSB1c2VkCj4KPiBcZGVmaW5lZW51 bWVyYXRpb25bcHJvb2ZdWwo+IHRleHQ9UHJvb2YsCj4gY2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNz e1xzcXVhcmV9LAo+IGNsb3NlY29tbWFuZD1caWZtbW9kZVxlcW5vXGVsc2Vcd29yZHJpZ2h0XGZp LAo+IF0KPgo+IFxzdGFydHRleHQKPiBcc3RhcnRwcm9vZgo+IFRoaXMgaXMgYSBzaW1wbGUgcHJv b2YuCj4gXHN0b3Bwcm9vZgo+Cj4gXHN0YXJ0cHJvb2YKPiBUaGlzIGlzIGFub3RoZXIgc2ltcGxl IHByb29mIHRoYXQgZW5kcyB3aXRoIGEgZm9ybXVsYQo+IFxzdGFydGZvcm11bGEKPiAxKzE9Mi4K PiBcc3RvcGZvcm11bGEKPiBcc3RvcHByb29mCj4gXHN0b3B0ZXh0Cj4KPiB0byBnZXQgdGhlIFxz cXVhcmUgYXQgdGhlIGVuZCBvZiBwcm9vZnMsIGFuZCBpdCB3b3JrZWQgb3V0IHdlbGwuIEJ1dAo+ IHdpdGggdGhlIGxhdGVzdCBiZXRhIChhbmQgc29tZSBwcmV2aW91cyBvbmUocykpLCB0aGUgXHNx dWFyZSBpcyBub3QKPiBwbGFjZWQgYXQgdGhlIHNhbWUgbGluZSBhcyB0aGUgZm9ybXVsYSBpbiB0 aGUgc2Vjb25kIGV4YW1wbGUuIElzIGl0Cj4gYnJva2VuPyBPciBpcyB0aGVyZSBhIG5ldyBzeW50 YXg/Cj4KPiBQREYgd2l0aCBteSByZXN1bHQgaXMgYXR0YWNoZWQuCj4KPiBCZXN0IHJlZ2FyZHMs IE1pa2FlbAoKSSBkb24ndCBsaWtlIHRvIGJ1bXAsIGJ1dC4uLiBOb29uZSBlbHNlIGhhcyB0aGlz IHByb2JsZW0/CgpASGFuczogSXMgaXQgZWFzaWx5IGZpeGVkPwoKL01pa2FlbApfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwpJZiB5b3VyIHF1ZXN0aW9uIGlzIG9mIGludGVyZXN0IHRvIG90aGVy cyBhcyB3ZWxsLCBwbGVhc2UgYWRkIGFuIGVudHJ5IHRvIHRoZSBXaWtpIQoKbWFpbGxpc3QgOiBu dGctY29udGV4dEBudGcubmwgLyBodHRwOi8vd3d3Lm50Zy5ubC9tYWlsbWFuL2xpc3RpbmZvL250 Zy1jb250ZXh0CndlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL3Rl eC5hYW5oZXQubmV0CmFyY2hpdmUgIDogaHR0cDovL2ZvdW5kcnkuc3VwZWxlYy5mci9wcm9qZWN0 cy9jb250ZXh0cmV2Lwp3aWtpICAgICA6IGh0dHA6Ly9jb250ZXh0Z2FyZGVuLm5ldApfX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fXw==