From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89202 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:08:33 +0100 Message-ID: <54608091.7090606@wxs.nl> References: <023E34CE-C029-49A8-9797-081998DFDB4A@gmail.com> <222D2F7D-8F4B-41BF-BC76-839B73CA12C0@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"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415610554 2431 80.91.229.3 (10 Nov 2014 09:09:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 10 Nov 2014 09:09:14 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Mon Nov 10 10:09:10 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 1XnkyD-0007Qq-BQ for gctc-ntg-context-518@m.gmane.org; Mon, 10 Nov 2014 10:09:09 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 0C6EE1022C for ; Mon, 10 Nov 2014 10:09:09 +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 2HU1WGsrVREM for ; Mon, 10 Nov 2014 10:09:08 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 5A52610231 for ; Mon, 10 Nov 2014 10:08:44 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 1C6A9101E4 for ; Mon, 10 Nov 2014 10:08:41 +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 l2qy8MgNU3wm for ; Mon, 10 Nov 2014 10:08:40 +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 534D2101E3 for ; Mon, 10 Nov 2014 10:08:40 +0100 (CET) Original-Received: from smtp.ziggozakelijk.nl (D57D1DA2.static.ziggozakelijk.nl [213.125.29.162]) by filter3-ams.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sAA98Yqj008885 for ; Mon, 10 Nov 2014 10:08:35 +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 5733-1713362 for ; Mon, 10 Nov 2014 10:08:32 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 In-Reply-To: <222D2F7D-8F4B-41BF-BC76-839B73CA12C0@gmail.com> 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: 03NdJ8yEV - 5fa5ab9afb04 - 20141110 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.87.102.71 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:89202 Archived-At: T24gMTEvMTAvMjAxNCA2OjU0IEFNLCBPdGFyZWQgS2F2aWFuIHdyb3RlOgo+IEhpIE1pa2FlbCwK Pgo+IEFjdHVhbGx5IEkganVzdCB0cmllZCB5b3VyIGV4YW1wbGUgd2l0aCB0aGUgQ29uVGVYdCB2 ZXJzaW9uIG9uIFRlWCBMaXZlLCBhcyB3ZWxsIGFzIHdpdGggYSBjb3B5IGRhdGluZyBiYWNrIHRv IDIwMTQtMDItMTQsIGFuZCBib3RoIGJlaGF2ZWQgaW4gdGhlIHNhbWUgd3Jvbmcgd2F5IHJlZ2Fy ZGluZyB0aGUgY2xvc2VzeW1ib2wgYW5kIGNsb3NlY29tbWFuZC4gU28gaW4KPgo+IFxzZXR1cGVu dW1lcmF0aW9uW3Byb29mXQo+IAlbbnVtYmVyPW5vLAo+IAljbG9zZXN5bWJvbD1cbWF0aGVtYXRp Y3N7XHNxdWFyZX0sCj4gCWNsb3NlY29tbWFuZD1caWZtbW9kZVxlcW5vXGVsc2Vcd29yZHJpZ2h0 XGZpXQo+Cj4gdGhlIFxpZm1tb2RlIGlzIG5vdCBob25vdXJlZCwgYW5kIHRoZSBjaGFuZ2UgbXVz dCBoYXZlIGhhcHBlbmVkIHF1aXRlIGVhcmxpZXIgdGhhbiBhIGZldyB3ZWVrcy4KPgo+IE1heWJl IHdlIHNob3VsZCBvcGVuIGEgbmV3IHRocmVhZCBhcyBhIGJ1ZyBpbiBjbG9zZWNvbW1hbmQ/Cgpp dCBwcm9iYWJseSBoYXMgdG8gZG8gd2l0aCB0aGUgaWYgdGVzdCBhbmQgc29tZSBjaGVja2luZyBv biAnY29tbWFuZCcgLi4uCgpcZGVmaW5lZW51bWVyYXRpb24KICAgW3Byb29mXQogICBbbnVtYmVy PW5vLAogICAgY2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNze1xzcXVhcmV9LAogICAgY2xvc2Vjb21t YW5kPVxtYXRob3J0ZXh0XGVxbm9cd29yZHJpZ2h0XQoKCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCiAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICBIYW5zIEhhZ2VuIHwgUFJBR01BIEFERQogICAg ICAgICAgICAgICBSaWRkZXJzdHJhYXQgMjcgfCA4MDYxIEdIIEhhc3NlbHQgfCBUaGUgTmV0aGVy bGFuZHMKICAgICB0ZWw6IDAzOCA0NzcgNTMgNjkgfCB2b2lwOiAwODcgODc1IDY4IDc0IHwgd3d3 LnByYWdtYS1hZGUuY29tCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICB8IHd3dy5wcmFnbWEtcG9kLm5sCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBs ZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50Zy1jb250ZXh0QG50 Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQKd2Vi cGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8vdGV4LmFhbmhldC5uZXQK YXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2NvbnRleHRyZXYv Cndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19f