From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109257 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Newsgroups: gmane.comp.tex.context Subject: Re: math symbol for "is an element of" Date: Thu, 5 Nov 2020 15:13:32 -0800 Message-ID: <000b01d6b3c9$47d5a330$d780e990$@projectivespace.com> References: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com> <5c2bc172-5551-9e03-d596-60dd3db56596@gmail.com> Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21989"; mail-complaints-to="usenet@ciao.gmane.io" To: "'mailing list for ConTeXt users'" Original-X-From: ntg-context-bounces@ntg.nl Fri Nov 06 00:14:18 2020 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane-mx.org Original-Received: from zapf.boekplan.nl ([5.39.185.232] helo=zapf.ntg.nl) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kaoSP-0005Za-Sy for gctc-ntg-context-518@m.gmane-mx.org; Fri, 06 Nov 2020 00:14:17 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 000491A9E38; Fri, 6 Nov 2020 00:13:45 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ag2Si3Qee42c; Fri, 6 Nov 2020 00:13:44 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 441161A9E39; Fri, 6 Nov 2020 00:13:44 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 989A01A9E35 for ; Fri, 6 Nov 2020 00:13:43 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id kht7VS41yUd8 for ; Fri, 6 Nov 2020 00:13:42 +0100 (CET) Received-SPF: None (mailfrom) identity=mailfrom; client-ip=162.244.253.253; helo=scanner02.mail.supportedns.com; envelope-from=type@projectivespace.com; receiver= Original-Received: from scanner02.mail.supportedns.com (scanner02.mail.supportedns.com [162.244.253.253]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id E3EF91A9E23 for ; Fri, 6 Nov 2020 00:13:41 +0100 (CET) Original-Received: from s4.supportedns.com ([173.248.191.184]) by scanner02.mail.supportedns.com with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.92) (envelope-from ) id 1kaoRh-0001OR-Rw for ntg-context@ntg.nl; Thu, 05 Nov 2020 18:13:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=projectivespace.com; s=default; h=Content-Transfer-Encoding:Content-Type: MIME-Version:Message-ID:Date:Subject:In-Reply-To:References:To:From:Sender: Reply-To:Cc:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=QKPRgm/nHhGHGY/FUQHYrvM1iFnwLoky4AjyyAHAID0=; b=sdcMJ7ci/LInzvq2H1hgqdP2GK gKSdUgyE774yxTWmNg1kD8TR6MO4P4ora4Z85WtF9K2p8dg7IdmNQN5VUjdHhtIdyElhd9yiT+cLs 5Rh7eeHfXFVWnMrM6qyGdFTffYVJFmseX4QOw9fOHSVtUlCZa7YbK+jw7OVh3QlKoCECIHOlAaHxD UlguxAJXKEyhLZanBEUxOIYOJKALm82NTljE4BczDZECxb166yBw95SKs35PJt4k5DYcqCcDOdYLi NzyZgsAvrnZWwcyxemRUfpml1IRGbhk5OqQRy0gOpVUlaCHWHsvFNAJ8+0s3LhlXwyRAdhJebM1b5 Mmb1wNSA==; Original-Received: from 131-191-23-164.click-network.com ([131.191.23.164]:54322 helo=DESKTOPF983GF8) by s4.supportedns.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.93) (envelope-from ) id 1kaoRg-0005fR-MY for ntg-context@ntg.nl; Thu, 05 Nov 2020 18:13:32 -0500 In-Reply-To: <5c2bc172-5551-9e03-d596-60dd3db56596@gmail.com> X-Mailer: Microsoft Outlook 16.0 Content-Language: en-us Thread-Index: AQFdyJisIA6ulKbUfWHRVtMEc+yEuwI4hNQAqpo7nRA= X-Get-Message-Sender-Via: s4.supportedns.com: authenticated_id: type@projectivespace.com X-Authenticated-Sender: s4.supportedns.com: type@projectivespace.com X-Originating-IP: 173.248.191.184 X-SpamExperts-Domain: s4.supportedns.com X-SpamExperts-Username: 173.248.191.184 Authentication-Results: mail.supportedns.com; auth=pass smtp.auth=173.248.191.184@s4.supportedns.com X-SpamExperts-Outgoing-Class: ham X-SpamExperts-Outgoing-Evidence: Combined (0.15) X-Recommended-Action: accept X-Filter-ID: Mvzo4OR0dZXEDF/gcnlw0XvADx2zSFwG+3csxFBPBHmpSDasLI4SayDByyq9LIhVUZbR67CQ7/vm /hHDJU4RXkTNWdUk1Ol2OGx3IfrIJKywOmJyM1qr8uRnWBrbSAGDh1q8JufB4LHLD3SFaN00KJbR wRM/pkZhq7RBdFcw5O5Rx3Gabupa4loMM2HlHLN3UZq99/v+OWrp+SY7iSuea1+9c9m3wYfwIlXF ruOJ5dDhy8hPbEWiK1zBzQXf6WvO6lvHQahxaghlzsCz99524DZSfCC01Ft1LGzbvJpcs1DY0jo8 5oEn6VCAp/NTngous1MTeUSVs0hUfPPbFkNGsOLbPUQmOpdd9qkombCDzzhWEdCHLHzmmp7T+Hcb Or4h32BArcPd4O/HRLoR6jsqxTJNEw0cYcSmmSZw54zIlrmjzzoz6PrQ8BQlXPo12LYeCgJQTfTx VnQ8Q4AmlQvnqtTUbFHc1msMenV9DSfAc7ffX8TdqEXkwxwMjsp2mNApdh89oe/mO/OZffHkWmTf 6wyeHK6Ij6cAi4paFidI0defGUM6zqowBER7uKbfyGusBC83BsQ4JD3u3keqrKTTUBoy4RjAUqxX X/HQWz77aicBIkUL/j1Y48GvmeURQjjE635VTztdUBHpxE0BXNZJ6PBFuvxMDCawVRJV9SAZpsis NSfKRfAxsGIrBs410hWl537Aoro3NnBq4p3ssAVt3tX6JHH8KVuXhEKGRSbxcvgQchHewYFQBEvi bVExQ9VVERWeKKG4PAQYNyavp7c49O0M1Ey+Oys6JxhFmflrLTw/HegitMa8F9vG76PVSolQ5wJF 7t0BenYfLwVLTkVtqRSg4QKuTO097 X-Report-Abuse-To: spam@scanner01.mail.supportedns.com X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.26 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.io gmane.comp.tex.context:109257 Archived-At: TXkgc2luY2VyZSBhcG9sb2dpZXMuIEkgdHJpZWQgdG8gZG8gbXkgaG9tZXdvcmsgdG8gYXZvaWQg d2FzdGluZyBldmVyeWJvZHkgZWxzZSdzIHRpbWUgd2l0aCBhIHNpbGx5IHF1ZXN0aW9uLCBidXQg YXBwYXJlbnRseSBJIGRpZCBub3QgZG8gc28gYWRlcXVhdGVseS4gWW91J3JlIHF1aXRlIHJpZ2h0 IC0tIGl0IHdvcmtzIHdpdGggbm8gcHJvYmxlbS4gSXQgd2FzIHNvbWV0aGluZyBlbHNlIG5lYXJi eSB0aGF0IHdhcyBjYXVzaW5nIG15IG1pbmltYWwgZXhhbXBsZSAoYXBwYXJlbnRseSBub3QgbWlu aW1hbCBlbm91Z2gpIHRvIGZhaWwuCgpUaGF0IGJlaW5nIHNhaWQsIHRoZSBsaW5rIHRvICJcaW4i IG9uIHRoZSBNYXRoIEJhc2ljcyBwYWdlIGRvZXMgcG9pbnQgdG8gdGhlIHdyb25nIHBsYWNlICh0 aGUgIlxpbiIgY29tbWFuZCB1c2VkIGZvciByZWZlcmVuY2VzKS4gSSdsbCBnbyBjb3JyZWN0IHRo YXQgYXMgbXkgcGVuYW5jZSBmb3IgYXNraW5nIHN1Y2ggYSByaWRpY3Vsb3VzIHF1ZXN0aW9uLgoK VGhhbmtzLCBhbmQgYWdhaW4gbXkgYXBvbG9naWVzLAoKClNjaXVydXMKCi0tLS0tT3JpZ2luYWwg TWVzc2FnZS0tLS0tCkZyb206IFdvbGZnYW5nIFNjaHVzdGVyIDx3b2xmZ2FuZy5zY2h1c3Rlci5s aXN0c0BnbWFpbC5jb20+IApTZW50OiBUaHVyc2RheSwgTm92ZW1iZXIgNSwgMjAyMCAxMjozNiBQ TQpUbzogbWFpbGluZyBsaXN0IGZvciBDb25UZVh0IHVzZXJzIDxudGctY29udGV4dEBudGcubmw+ CkNjOiB0eXBlQHByb2plY3RpdmVzcGFjZS5jb20KU3ViamVjdDogUmU6IFtOVEctY29udGV4dF0g bWF0aCBzeW1ib2wgZm9yICJpcyBhbiBlbGVtZW50IG9mIgoKdHlwZUBwcm9qZWN0aXZlc3BhY2Uu Y29tIHNjaHJpZWIgYW0gMDUuMTEuMjAyMCB1bSAyMToyMjoKPiBBIHF1aWNrIHF1ZXN0aW9uIGZv ciB0aGUgQ29uVGVYdCBtYWlsaW5nIGxpc3Q6Cj4gCj4gT3RoZXIgdGhhbiB0eXBpbmcgaXQgZGly ZWN0bHkgKG9yIGN1dHRpbmcgYW5kIHBhc3RpbmcgaXQpLCBob3cgZG9lcyBvbmUgZ2V0Cj4gdGhl IGNoYXJhY3RlciDiiIggKGluIGNhc2UgdGhpcyBnZXRzIGdhcmJsZWQgaW4gZW1haWxpbmcsIHRo aXMgaXMgc3VwcG9zZWQgdG8KPiBiZSB0aGUgbWF0aGVtYXRpY2FsIHN5bWJvbCB0aGF0IGxvb2tz IG1vcmUgb3IgbGVzcyBsaWtlIGFuIGVwc2lsb24sIGFuZAo+IHdoaWNoIGlzIHRoZSBtYXRoZW1h dGljYWwgc3ltYm9sIGZvciAiaXMgYW4gZWxlbWVudCBvZiIgYSBzZXQpLgo+IAo+IFxzaG93bWF0 aGZvbnRjaGFyYWN0ZXJzIGdpdmVzIHRoZSBmb2xsb3dpbmcgaW5mb3JtYXRpb24gYWJvdXQgaXQ6 Cj4gCj4gVSswMjIwODog4oiIIOKIiCBlbGVtZW50IG9mCj4gd2lkdGg6IDUyNDI2MiwgaGVpZ2h0 OiA0MjY3OTgsIGRlcHRoOiAzMzc5OCwgaXRhbGljOiAwCj4gbWF0aGNsYXNzOiByZWxhdGlvbiwg bWF0aG5hbWU6IGluCj4gCj4gSSdtIG5vdCBjb21wbGV0ZWx5IHN1cmUgaG93IHRvIHJlYWQgdGhp cyBpbmZvcm1hdGlvbiwgYnV0IGlmIEkgcmVhZCBpdAo+IGNvcnJlY3RseSwgcGVyaGFwcyB0aGlz IGNoYXJhY3RlciBzaG91bGQgYmUgZ290dGVuIHdpdGggXGluLiBBbHNvLCB0aGUgQmFzaWMKPiBN YXRoIHBhZ2Ugb2YgdGhlIFdpa2kgKGh0dHBzOi8vd2lraS5jb250ZXh0Z2FyZGVuLm5ldC9NYXRo L2Jhc2ljKSBzdGF0ZXMKPiB0aGF0IHlvdSBzaG91bGQgYmUgYWJsZSB0byB0eXBlIHRoaXMgY2hh cmFjdGVyIHdpdGggIlxpbiIuIEJ1dCB0aGF0IGRvZXNuJ3QKPiB3b3JrIChldmVuIGluc2lkZSBh IGZvcm11bGEpLCBzaW5jZSBcaW4gaXMgdXNlZCBmb3IgcmVmZXJlbmNlcyBpbiBDb25UZVh0Lgo+ IEFuZCBpbiBmYWN0IHRoZSBsaW5rIG9uIHRoZSBCYXNpYyBNYXRoIHBhZ2UgZm9yIFxpbiB0YWtl cyB5b3UgdG8gdGhlCj4gZXhwbGFuYXRpb24gb2YgXGluIGFzIHVzZWQgZm9yIENvblRlWHQgcmVm ZXJlbmNlcy4KPiAKPiBUaGlzIGlzIGEgdmVyeSBjb21tb24gY2hhcmFjdGVyIGluIG1hdGhlbWF0 aWNzLCBzbyBJIHdhbnRlZCB0byBhc2s6IHdoYXQgaXMKPiB0aGUgcmVjb21tZW5kZWQgd2F5IHRv IHR5cGUgdGhpcyBjaGFyYWN0ZXI/IChJJ20gaG9waW5nIHRvIGF2b2lkIGhhdmluZyB0bwo+IGN1 dCBhbmQgcGFzdGUgdGhlIGNoYXJhY3RlciBpbnRvIHRoZSBkb2N1bWVudCBldmVyeSB0aW1lIEkg d2FudCB0byB1c2UgaXQuCj4gQW5kIEkgZG9uJ3QgaGF2ZSBhIHV0ZiBlbmFibGVkIGtleWJvYXJk IHRoYXQgd291bGQgYWxsb3cgbWUgdG8gdHlwZSB0aGlzCj4gc3ltYm9sIHJlYWRpbHkgZnJvbSB0 aGUga2V5Ym9hcmQuKQoKRG8geW91IGhhdmUgYSBleGFtcGxlIHdoZXJlIFxpbiBmYWlscz8KClxz dGFydHRleHQKClxtIHtBIFxpbiBCfQoKXHN0YXJ0Zm9ybXVsYQpBIFxpbiBCClxzdG9wZm9ybXVs YQoKXHN0b3B0ZXh0CgpXb2xmZ2FuZwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91 ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBh biBlbnRyeSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0 cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0 dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly9jb250ZXh0LmFhbmhldC5uZXQKYXJjaGl2 ZSAgOiBodHRwczovL2JpdGJ1Y2tldC5vcmcvcGhnL2NvbnRleHQtbWlycm9yL2NvbW1pdHMvCndp a2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCg==