From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89185 Path: news.gmane.org!not-for-mail From: Otared Kavian Newsgroups: gmane.comp.tex.context Subject: Re: position of qed symbol in proofs Date: Sat, 8 Nov 2014 17:43:47 +0100 Message-ID: <023E34CE-C029-49A8-9797-081998DFDB4A@gmail.com> References: 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 1415465059 26593 80.91.229.3 (8 Nov 2014 16:44:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 8 Nov 2014 16:44:19 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sat Nov 08 17:44:15 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 1Xn97X-0007Xx-4v for gctc-ntg-context-518@m.gmane.org; Sat, 08 Nov 2014 17:44:15 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id EB4131022B for ; Sat, 8 Nov 2014 17:44:13 +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 0cy6Jo6tLsVq for ; Sat, 8 Nov 2014 17:44:12 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 4F99510231 for ; Sat, 8 Nov 2014 17:43:48 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id BA077101E7 for ; Sat, 8 Nov 2014 17:43:44 +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 mDMzyABpkRVK for ; Sat, 8 Nov 2014 17:43:43 +0100 (CET) Original-Received: from filter4-til.mf.surf.net (filter4-til.mf.surf.net [194.171.167.220]) by balder.ntg.nl (Postfix) with ESMTP id AF322101E3 for ; Sat, 8 Nov 2014 17:43:43 +0100 (CET) Original-Received: from mail-wg0-x22b.google.com (mail-wg0-x22b.google.com [IPv6:2a00:1450:400c:c00::22b]) by filter4-til.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sA8GhgJt011145 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Sat, 8 Nov 2014 17:43:43 +0100 Original-Received: by mail-wg0-f43.google.com with SMTP id y10so5951613wgg.2 for ; Sat, 08 Nov 2014 08:43:42 -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=UgEPpOab0ZMR04k8YXjEENxL/kuZleNkojXKKjlN68s=; b=Oy59SMF+6qjxFxePkUNpysIawCO8+GEjE1uOalKvq9LJJmb1PixDdF9ru2bEIuaIRG S+0t4KM3MzikZEsn4SjXz2eN3KBzjQ2QGTU/g3Jx8V/geKyrlg4NApqCdEOW0JLpmSRx yNCQSC99ckvTJJPlqPVN1atiFmraCyrWvFpSQvbEsDUssjKM2Q8vzPn9KkCl0y/ZDWze F2KzUCm1K3ojJM/8BFFb2zE1qXxiw75t/732H9fh5t25TPve1DNs84znEAh4P3z6Pt27 Ju7eXFjF0BOu1LS7i7u9uwKotKDINomLaFL4qVVrQclFJJZ9M0sY4fLFYzFdHtsnSnKK mSfg== X-Received: by 10.180.107.136 with SMTP id hc8mr15212783wib.78.1415465022272; Sat, 08 Nov 2014 08:43:42 -0800 (PST) Original-Received: from [192.168.0.102] (lns-bzn-22-82-249-96-172.adsl.proxad.net. [82.249.96.172]) by mx.google.com with ESMTPSA id gy4sm6256980wib.11.2014.11.08.08.43.40 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 08 Nov 2014 08:43:41 -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::22b; country=IE X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 0VNd4HGDz - 8c5ef0b9e3a8 - 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:89185 Archived-At: SGkgTWlrYWVsLAoKSW4gbXkgZmlsZXMgSSBoYXZlIHRoZSBmb2xsb3dpbmcgd2hpY2ggdXNlZCB0 byB3b3JrLCBidXQgaXQgZG9lc27igJl0IHdvcmsgYXMgZXhwZWN0ZWQgYW55bW9yZSwgYXMgeW91 IHBvaW50IG91dAoKXGRlZmluZWVudW1lcmF0aW9uW3Byb29mXVt0ZXh0PVByb29mLl0KClxzZXR1 cGVudW1lcmF0aW9uW3Byb29mXQoJW251bWJlcj1ubywKCWNsb3Nlc3ltYm9sPVxtYXRoZW1hdGlj c3tcc3F1YXJlfSwKCWNsb3NlY29tbWFuZD1caWZtbW9kZVxlcW5vXGVsc2Vcd29yZHJpZ2h0XGZp XQoKICAKXHN0YXJ0dGV4dApcc3RhcnRwcm9vZgpUaGlzIGlzIGEgc2ltcGxlIHByb29mLgpcc3Rv cHByb29mCgpcc3RhcnRwcm9vZgpUaGlzIGlzIGFub3RoZXIgc2ltcGxlIHByb29mIHRoYXQgZW5k cyB3aXRoIGEgZm9ybXVsYQpcc3RhcnRmb3JtdWxhCjErMT0yLgpcc3RvcGZvcm11bGEKXHN0b3Bw cm9vZgpcc3RvcHRleHQKCkkgZG9u4oCZdCBrbm93IHdoZW4gdGhlIGNoYW5nZSBvY2N1cnJlZCwg YnV0IGF0IGxlYXN0IGl0IHdvcmtlZCBsYXN0IHllYXIgKHdoaWNoIGZvciBDb25UZVh0IG1lYW5z IHByZWdpc3RvcmljIHRpbWVz4oCmIDrigJQpLgpBcyBhIHRlbXBvcmFyeSBoYWNrIG9uZSBjYW4g YWx3YXlzIHNheToKXHN0YXJ0Zm9ybXVsYQoxKzE9Mi4gXGVxbm97XHNxdWFyZX0KXHN0b3Bmb3Jt dWxhCgpCZXN0IHJlZ2FyZHM6IE9LCgo+IE9uIDA4IE5vdiAyMDE0LCBhdCAxNDo0MCwgTWlrYWVs IFAuIFN1bmRxdmlzdCA8bWlja2VwQGdtYWlsLmNvbT4gd3JvdGU6Cj4gCj4gT24gTW9uLCBOb3Yg MywgMjAxNCBhdCA5OjE1IFBNLCBNaWthZWwgUC4gU3VuZHF2aXN0IDxtaWNrZXBAZ21haWwuY29t PiB3cm90ZToKPj4gSGksCj4+IAo+PiBJIG9uY2UgdXNlZAo+PiAKPj4gXGRlZmluZWVudW1lcmF0 aW9uW3Byb29mXVsKPj4gdGV4dD1Qcm9vZiwKPj4gY2xvc2VzeW1ib2w9XG1hdGhlbWF0aWNze1xz cXVhcmV9LAo+PiBjbG9zZWNvbW1hbmQ9XGlmbW1vZGVcZXFub1xlbHNlXHdvcmRyaWdodFxmaSwK Pj4gXQo+PiAKPj4gXHN0YXJ0dGV4dAo+PiBcc3RhcnRwcm9vZgo+PiBUaGlzIGlzIGEgc2ltcGxl IHByb29mLgo+PiBcc3RvcHByb29mCj4+IAo+PiBcc3RhcnRwcm9vZgo+PiBUaGlzIGlzIGFub3Ro ZXIgc2ltcGxlIHByb29mIHRoYXQgZW5kcyB3aXRoIGEgZm9ybXVsYQo+PiBcc3RhcnRmb3JtdWxh Cj4+IDErMT0yLgo+PiBcc3RvcGZvcm11bGEKPj4gXHN0b3Bwcm9vZgo+PiBcc3RvcHRleHQKPj4g Cj4+IHRvIGdldCB0aGUgXHNxdWFyZSBhdCB0aGUgZW5kIG9mIHByb29mcywgYW5kIGl0IHdvcmtl ZCBvdXQgd2VsbC4gQnV0Cj4+IHdpdGggdGhlIGxhdGVzdCBiZXRhIChhbmQgc29tZSBwcmV2aW91 cyBvbmUocykpLCB0aGUgXHNxdWFyZSBpcyBub3QKPj4gcGxhY2VkIGF0IHRoZSBzYW1lIGxpbmUg YXMgdGhlIGZvcm11bGEgaW4gdGhlIHNlY29uZCBleGFtcGxlLiBJcyBpdAo+PiBicm9rZW4/IE9y IGlzIHRoZXJlIGEgbmV3IHN5bnRheD8KPj4gCj4+IFBERiB3aXRoIG15IHJlc3VsdCBpcyBhdHRh Y2hlZC4KPj4gCj4+IEJlc3QgcmVnYXJkcywgTWlrYWVsCj4gCj4gSSBkb24ndCBsaWtlIHRvIGJ1 bXAsIGJ1dC4uLiBOb29uZSBlbHNlIGhhcyB0aGlzIHByb2JsZW0/Cj4gCj4gQEhhbnM6IElzIGl0 IGVhc2lseSBmaXhlZD8KPiAKPiAvTWlrYWVsCj4gX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K PiBJZiB5b3VyIHF1ZXN0aW9uIGlzIG9mIGludGVyZXN0IHRvIG90aGVycyBhcyB3ZWxsLCBwbGVh c2UgYWRkIGFuIGVudHJ5IHRvIHRoZSBXaWtpIQo+IAo+IG1haWxsaXN0IDogbnRnLWNvbnRleHRA bnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAo+ IHdlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL3RleC5hYW5oZXQu bmV0Cj4gYXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2NvbnRl eHRyZXYvCj4gd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKPiBfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91ciBxdWVz dGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBlbnRy eSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cDovL3d3 dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHA6Ly93 d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90ZXguYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0dHA6 Ly9mb3VuZHJ5LnN1cGVsZWMuZnIvcHJvamVjdHMvY29udGV4dHJldi8Kd2lraSAgICAgOiBodHRw Oi8vY29udGV4dGdhcmRlbi5uZXQKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18=