From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/89205 Path: news.gmane.org!not-for-mail From: Otared Kavian Newsgroups: gmane.comp.tex.context Subject: Re: position of qed symbol in proofs Date: Mon, 10 Nov 2014 11:22:27 +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 (Mac OS X Mail 8.0 \(1990.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1415614990 21008 80.91.229.3 (10 Nov 2014 10:23:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 10 Nov 2014 10:23:10 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Mon Nov 10 11:23:05 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 1Xnm7l-0000ua-2J for gctc-ntg-context-518@m.gmane.org; Mon, 10 Nov 2014 11:23:05 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 98BD91022F for ; Mon, 10 Nov 2014 11:23:04 +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 vISoovZlX34u for ; Mon, 10 Nov 2014 11:23:03 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 16E1810233 for ; Mon, 10 Nov 2014 11:22:41 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id B5694101E4 for ; Mon, 10 Nov 2014 11:22: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 YuPeDRoGTbr0 for ; Mon, 10 Nov 2014 11:22:26 +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 16FC2101E3 for ; Mon, 10 Nov 2014 11:22:26 +0100 (CET) Original-Received: from mail-wi0-x22e.google.com (mail-wi0-x22e.google.com [IPv6:2a00:1450:400c:c05::22e]) by filter4-til.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id sAAAMP6R023975 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Mon, 10 Nov 2014 11:22:25 +0100 Original-Received: by mail-wi0-f174.google.com with SMTP id d1so10179227wiv.7 for ; Mon, 10 Nov 2014 02:22:22 -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=b1kxjLGCz3SRhoANxourkF72pALoTtnlHAdpzEQHfSs=; b=IZucs93HjEjz3zdIzynl0uBCtW/VVOWw5EqIfzHGbSjHdnhBIYe/3XX9gGMUOdkBIt ylmXIbVLV/5LNSrqY6O+m4fZVWY6eo1YRhFf74USe2GuoRDylfCJ+SHzhamo4ZUfc6UC ReuBdQaGy8RydwBSH84Dc3PlmEn+u0qe0rAQn/osnOFeRyCXgIbYQnYLBoH+v9NmZvf3 Ic4eNuxY9Xev7iVmLOa/mHlQGssgc5iv7Ire9gRydcsAA9sl6XvwtIhRhrSaD+amU8Y/ eOcoLxBXkr92fDo4sWtz6oHen7Z904dxIEXnt0fPH+EtglWeczLDmFsOVR6u2Ch8jzEm laFg== X-Received: by 10.180.87.196 with SMTP id ba4mr29399246wib.40.1415614941982; Mon, 10 Nov 2014 02:22:21 -0800 (PST) Original-Received: from [192.168.0.102] ([82.248.54.157]) by mx.google.com with ESMTPSA id dx8sm8890979wib.2.2014.11.10.02.22.20 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 10 Nov 2014 02:22:21 -0800 (PST) In-Reply-To: <54608C4B.5030607@wxs.nl> 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:c05::22e; country=IE X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 0VNdKmp0k - cabdfd975017 - 20141110 (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:89205 Archived-At: Cj4gT24gMTAgTm92IDIwMTQsIGF0IDEwOjU4LCBIYW5zIEhhZ2VuIDxwcmFnbWFAd3hzLm5sPiB3 cm90ZToKPiBb4oCmXQo+IGknbSBub3Qgc3VycHJpc2VkOiBlcW5vIG9ubHkgd29ya3MgaW4gYSBm b3JtdWxhIGFuZCBjbG9zZWNvbW1hbmQgaXMgbm90IGluIHRoZSBmb3JtdWxhIC4uLiBpdCB3b3Vs ZCBub3QgYWxpZ24gcHJvcGVybHkgYW55d2F5CgpPaOKApiBJIHNlZS4KU28gdGhlcmUgaXMgbm90 IGFueW1vcmUgdGhlIHBvc3NpYmlsaXR5IHRvIGZpbmlzaCBhbiBlbnVtZXJhdGlvbiAoc3VjaCBh cyDCqyBwcm9vZiDCuyBpbmUgTWlrYWVs4oCZcyBleGFtcGxlKSB3aXRoIGFmb3JtdWxhIGFuZCBh dXRvbWF0aWNhbGx5IGdldCB0aGUgc3F1YXJlIG9mIHFlZCBvbiB0aGUgcmlnaHQ/IFRoaXMgd2Fz IHBvc3NpYmxlIGZvciBxdWl0ZSBhIGxvbmcgdGltZSwgYWx0aG91Z2ggcGVyc29ubmFsbHkgSSBo YXZlIHVzZWQgaXQgc2VsZG9tLgoKVGhhbmtzIGFuZCBiZXN0IHJlZ2FyZHM6IE9LCl9fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3Ro ZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6 IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8v bnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8v dGV4LmFhbmhldC5uZXQKYXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2pl Y3RzL2NvbnRleHRyZXYvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19f