From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89216 Path: news.gmane.org!not-for-mail From: Hans Hagen Newsgroups: gmane.comp.tex.context Subject: Re: position of qed symbol in proofs Date: Tue, 11 Nov 2014 16:29:29 +0100 Message-ID: <54622B59.10704@wxs.nl> 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"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415719812 27162 80.91.229.3 (11 Nov 2014 15:30:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 11 Nov 2014 15:30:12 +0000 (UTC) To: ntg-context@ntg.nl Original-X-From: ntg-context-bounces@ntg.nl Tue Nov 11 16: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 1XoDOQ-00056O-1r for gctc-ntg-context-518@m.gmane.org; Tue, 11 Nov 2014 16:30:06 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 8178D10228 for ; Tue, 11 Nov 2014 16:30: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 yLfn46NJIH13 for ; Tue, 11 Nov 2014 16:30:04 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id AFE111022F for ; Tue, 11 Nov 2014 16:29:37 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 56A0B101E4 for ; Tue, 11 Nov 2014 16:29:33 +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 lmRDUbG94puC for ; Tue, 11 Nov 2014 16:29:32 +0100 (CET) Original-Received: from filter1-til.mf.surf.net (filter1-til.mf.surf.net [194.171.167.217]) by balder.ntg.nl (Postfix) with ESMTP id 2E2C2101E3 for ; Tue, 11 Nov 2014 16:29:32 +0100 (CET) Original-Received: from smtp.ziggozakelijk.nl (D57D1DA2.static.ziggozakelijk.nl [213.125.29.162]) by filter1-til.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sABFTVjZ019383 for ; Tue, 11 Nov 2014 16:29:31 +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 5965-1713362 for ; Tue, 11 Nov 2014 16:29:29 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 In-Reply-To: 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: 0RNeftvb6 - a35d0aeb1bfc - 20141111 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.217 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:89216 Archived-At: T24gMTEvMTEvMjAxNCAyOjU1IFBNLCBNaWthZWwgUC4gU3VuZHF2aXN0IHdyb3RlOgo+IE9uIE1v biwgTm92IDEwLCAyMDE0IGF0IDExOjIyIEFNLCBPdGFyZWQgS2F2aWFuIDxvdGFyZWRAZ21haWwu Y29tPiB3cm90ZToKPj4KPj4+IE9uIDEwIE5vdiAyMDE0LCBhdCAxMDo1OCwgSGFucyBIYWdlbiA8 cHJhZ21hQHd4cy5ubD4gd3JvdGU6Cj4+PiBb4oCmXQo+Pj4gaSdtIG5vdCBzdXJwcmlzZWQ6IGVx bm8gb25seSB3b3JrcyBpbiBhIGZvcm11bGEgYW5kIGNsb3NlY29tbWFuZCBpcyBub3QgaW4gdGhl IGZvcm11bGEgLi4uIGl0IHdvdWxkIG5vdCBhbGlnbiBwcm9wZXJseSBhbnl3YXkKPj4KPj4gT2ji gKYgSSBzZWUuCj4+IFNvIHRoZXJlIGlzIG5vdCBhbnltb3JlIHRoZSBwb3NzaWJpbGl0eSB0byBm aW5pc2ggYW4gZW51bWVyYXRpb24gKHN1Y2ggYXMgwqsgcHJvb2YgwrsgaW5lIE1pa2FlbOKAmXMg ZXhhbXBsZSkgd2l0aCBhZm9ybXVsYSBhbmQgYXV0b21hdGljYWxseSBnZXQgdGhlIHNxdWFyZSBv ZiBxZWQgb24gdGhlIHJpZ2h0PyBUaGlzIHdhcyBwb3NzaWJsZSBmb3IgcXVpdGUgYSBsb25nIHRp bWUsIGFsdGhvdWdoIHBlcnNvbm5hbGx5IEkgaGF2ZSB1c2VkIGl0IHNlbGRvbS4KPj4KPj4gVGhh bmtzIGFuZCBiZXN0IHJlZ2FyZHM6IE9LCj4+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCj4+ IElmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFz ZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCj4+Cj4+IG1haWxsaXN0IDogbnRnLWNvbnRleHRA bnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAo+ PiB3ZWJwYWdlICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90ZXguYWFuaGV0 Lm5ldAo+PiBhcmNoaXZlICA6IGh0dHA6Ly9mb3VuZHJ5LnN1cGVsZWMuZnIvcHJvamVjdHMvY29u dGV4dHJldi8KPj4gd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKPj4gX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX18KPgo+IE9LLCBzbyBJIHdpbGwgcHV0IHRoZSBzcXVhcmUgdGhl cmUgYnkgaGFuZCBmcm9tIG5vdyBvbi4KCnlvdSBjYW4gdXNlIGl0IGJ1dCBub3QgdG8gcHV0ICph bnl0aGluZyogeW91IGxpa2UgdGhlcmUgYW5kIGV4cGVjdCBpdCB0byAKYmVoYXZlIC4uLiBpIHJl YWxseSB3b25kZXIgaWYgXGVxbm8gZXZlciB3b3JrZWQgdGhlcmUgYXMgaXQncyBhbiAKImVtYmVk ZGVkIGluIGZvcm11bGFzIiBjb21tYW5kIC4uLiBpZiBpdCBkaWQsIGl0IHdhcyBkZWZpbml0ZWx5 IGEgc2lkZSAKZWZmZWN0CgpIYW5zCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQogICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgSGFucyBIYWdlbiB8IFBSQUdNQSBBREUKICAgICAgICAgICAgICAg UmlkZGVyc3RyYWF0IDI3IHwgODA2MSBHSCBIYXNzZWx0IHwgVGhlIE5ldGhlcmxhbmRzCiAgICAg dGVsOiAwMzggNDc3IDUzIDY5IHwgdm9pcDogMDg3IDg3NSA2OCA3NCB8IHd3dy5wcmFnbWEtYWRl LmNvbQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCB3d3cu cHJhZ21hLXBvZC5ubAotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpJZiB5b3Vy IHF1ZXN0aW9uIGlzIG9mIGludGVyZXN0IHRvIG90aGVycyBhcyB3ZWxsLCBwbGVhc2UgYWRkIGFu IGVudHJ5IHRvIHRoZSBXaWtpIQoKbWFpbGxpc3QgOiBudGctY29udGV4dEBudGcubmwgLyBodHRw Oi8vd3d3Lm50Zy5ubC9tYWlsbWFuL2xpc3RpbmZvL250Zy1jb250ZXh0CndlYnBhZ2UgIDogaHR0 cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL3RleC5hYW5oZXQubmV0CmFyY2hpdmUgIDog aHR0cDovL2ZvdW5kcnkuc3VwZWxlYy5mci9wcm9qZWN0cy9jb250ZXh0cmV2Lwp3aWtpICAgICA6 IGh0dHA6Ly9jb250ZXh0Z2FyZGVuLm5ldApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw==