From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109258 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:24:18 -0800 Message-ID: <000c01d6b3ca$c907ddf0$5b1799d0$@projectivespace.com> References: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.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="26758"; 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:24:49 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 1kaocb-0006rK-Cn for gctc-ntg-context-518@m.gmane-mx.org; Fri, 06 Nov 2020 00:24:49 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 1C48B1A9E43; Fri, 6 Nov 2020 00:24:33 +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 TvtPbn5t9itc; Fri, 6 Nov 2020 00:24:32 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 3AB271A9E46; Fri, 6 Nov 2020 00:24:32 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 055231A9E44 for ; Fri, 6 Nov 2020 00:24:31 +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 ldAcigKxD0Ad for ; Fri, 6 Nov 2020 00:24:30 +0100 (CET) Received-SPF: None (mailfrom) identity=mailfrom; client-ip=162.244.253.254; helo=scanner01.mail.supportedns.com; envelope-from=type@projectivespace.com; receiver= Original-Received: from scanner01.mail.supportedns.com (scanner01.mail.supportedns.com [162.244.253.254]) (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 0350A1A9E43 for ; Fri, 6 Nov 2020 00:24:29 +0100 (CET) Original-Received: from s4.supportedns.com ([173.248.191.184]) by scanner01.mail.supportedns.com with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.92) (envelope-from ) id 1kaoc7-0004gP-Uw for ntg-context@ntg.nl; Thu, 05 Nov 2020 18:24:28 -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=hU8u6gFJNu6dZOZvZFn9HzCFeqBD49GUL4RMuiPSTQI=; b=vw/fAfXS4N1E2KJPBoa4wuGVwO TkzDmUrpWqPiV/twfAlHDoYBA5fWpJnG1SZ9EdGVslMtHWHMfd1FgYfoLcVReZvHhLM2GzdSs/e1m e83UVxMrpdxeVCGPlEc9XJlXfG+nFggJkQw9lwKH9lcY+TkzZ9MXsRYLHv9Hp2dRGLKvEBcX40f4i QrQ7gTH7swO4CiOR/Qv5oq1yqcuoYqaocFO/bBQMOO7bU3XO18zihliTLHlD5UhlSsnYlxljM4ljQ 4vE6gv1SQ6MUjmUMaQvlEIehmzPwNE5pYFFyBlnIh8vZkfMiKQYr2cvFnnPI89jBup3ZucZF6glfG dpiPOVww==; Original-Received: from 131-191-23-164.click-network.com ([131.191.23.164]:54463 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 1kaoc6-0005Ku-Uq for ntg-context@ntg.nl; Thu, 05 Nov 2020 18:24:19 -0500 In-Reply-To: X-Mailer: Microsoft Outlook 16.0 Content-Language: en-us Thread-Index: AQFdyJisIA6ulKbUfWHRVtMEc+yEuwImK5mLqprSOcA= 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.09) X-Recommended-Action: accept X-Filter-ID: Mvzo4OR0dZXEDF/gcnlw0XvADx2zSFwG+3csxFBPBHmpSDasLI4SayDByyq9LIhVnEsTH3dH6xf5 je1PGKQ8MkTNWdUk1Ol2OGx3IfrIJKywOmJyM1qr8uRnWBrbSAGDh1q8JufB4LHLD3SFaN00KJbR wRM/pkZhq7RBdFcw5O5zMN3PS1QFihoKijI86PCXUZq99/v+OWrp+SY7iSuea1+9c9m3wYfwIlXF ruOJ5dDhy8hPbEWiK1zBzQXf6WvO6lvHQahxaghlzsCz99524DZSfCC01Ft1LGzbvJpcs1BnIcm4 9MbXUKHstNa9/5aes1MTeUSVs0hUfPPbFkNGsOLbPUQmOpdd9qkombCDzzhWEdCHLHzmmp7T+Hcb Or4h32BArcPd4O/HRLoR6jsqxTJNEw0cYcSmmSZw54zIlrmjzzoz6PrQ8BQlXPo12LYeCgJQTfTx VnQ8Q4AmlQvnqtTUbFHc1msMenV9DSfAc7ffX8TdqEXkwxwMjsp2mNApdh89oe/mO/OZffHkWmTf 6wyeHK6Ij6cAi4paFidI0defGUM6zqowBER7uKbfyGusBC83BsQ4JD3u3keqrKTTUBoy4RjAUqxX X/HQWz77aicBIkUL/j1Y48GvmeURQjjE635VTztdUBHpxE0BXNZJ6ETu09TFBMBWdilM7ydUEwKl w69o4kN+ijOzCAMOhTD+537Aoro3NnBq4p3ssAVt3tX6JHH8KVuXhEKGRSbxcvgQchHewYFQBEvi bVExQ9VVERWeKKG4PAQYNyavp7c49O0M1Ey+Oys6JxhFmflrLTw/HegitMa8F9vG76PVSolQpjGO KdSG4pQQJKHbL2uI/szHyb+kge1PH 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:109258 Archived-At: VGhhbmsgeW91LCBIYW5zISBUaGUgbGlua3MgeW91IGdhdmUgbWUgcHJvdmlkZSBtZSB3aXRoIGFu b3RoZXIgdXNlZnVsIHRvb2wgaW4gbXkgdG9vbGJveCAod2hpY2ggSSBoYWQgbm90IGJlZW4gYXdh cmUgb2YgYmVmb3JlKS4KCkluIHRoaXMgcGFydGljdWxhciBjYXNlLCBhcyBXb2xmZ2FuZyBwb2lu dGVkIG91dCwgXGluIGFjdHVhbGx5IGRvZXMgd29yayB0byBnZXQgdGhlIGRlc2lyZWQgc3ltYm9s IGluIG1hdGggbW9kZS4gQnV0IGl0IGlzIGdvb2QgdG8ga25vdyBob3cgdG8gdXNlIHRleHQgc3Vi c3RpdHV0aW9ucyB0b28uCgpUaGFua3MsCgoKU2NpdXJ1cwoKLS0tLS1PcmlnaW5hbCBNZXNzYWdl LS0tLS0KRnJvbTogbnRnLWNvbnRleHQgPG50Zy1jb250ZXh0LWJvdW5jZXNAbnRnLm5sPiBPbiBC ZWhhbGYgT2YgSGFucyDDhWJlcmcKU2VudDogVGh1cnNkYXksIE5vdmVtYmVyIDUsIDIwMjAgMTI6 NDQgUE0KVG86IG1haWxpbmcgbGlzdCBmb3IgQ29uVGVYdCB1c2VycyA8bnRnLWNvbnRleHRAbnRn Lm5sPgpTdWJqZWN0OiBSZTogW05URy1jb250ZXh0XSBtYXRoIHN5bWJvbCBmb3IgImlzIGFuIGVs ZW1lbnQgb2YiCgoKPiBPbiA1IE5vdiAyMDIwLCBhdCAyMToyMiwgdHlwZUBwcm9qZWN0aXZlc3Bh Y2UuY29tIHdyb3RlOgo+IAo+IE90aGVyIHRoYW4gdHlwaW5nIGl0IGRpcmVjdGx5IChvciBjdXR0 aW5nIGFuZCBwYXN0aW5nIGl0KSwgaG93IGRvZXMgb25lIGdldAo+IHRoZSBjaGFyYWN0ZXIg4oiI IChpbiBjYXNlIHRoaXMgZ2V0cyBnYXJibGVkIGluIGVtYWlsaW5nLCB0aGlzIGlzIHN1cHBvc2Vk IHRvCj4gYmUgdGhlIG1hdGhlbWF0aWNhbCBzeW1ib2wgdGhhdCBsb29rcyBtb3JlIG9yIGxlc3Mg bGlrZSBhbiBlcHNpbG9uLCBhbmQKPiB3aGljaCBpcyB0aGUgbWF0aGVtYXRpY2FsIHN5bWJvbCBm b3IgImlzIGFuIGVsZW1lbnQgb2YiIGEgc2V0KS4K4oCmCj4gVGhpcyBpcyBhIHZlcnkgY29tbW9u IGNoYXJhY3RlciBpbiBtYXRoZW1hdGljcywgc28gSSB3YW50ZWQgdG8gYXNrOiB3aGF0IGlzCj4g dGhlIHJlY29tbWVuZGVkIHdheSB0byB0eXBlIHRoaXMgY2hhcmFjdGVyPyAoSSdtIGhvcGluZyB0 byBhdm9pZCBoYXZpbmcgdG8KPiBjdXQgYW5kIHBhc3RlIHRoZSBjaGFyYWN0ZXIgaW50byB0aGUg ZG9jdW1lbnQgZXZlcnkgdGltZSBJIHdhbnQgdG8gdXNlIGl0Lgo+IEFuZCBJIGRvbid0IGhhdmUg YSB1dGYgZW5hYmxlZCBrZXlib2FyZCB0aGF0IHdvdWxkIGFsbG93IG1lIHRvIHR5cGUgdGhpcwo+ IHN5bWJvbCByZWFkaWx5IGZyb20gdGhlIGtleWJvYXJkLikKClRoZXJlIGlzIG5vIHJlY29tbWVu ZGVkIHdheS4gT25lIGNhbiBoYXZlIGl0IGluIHRoZSBpbnB1dCBzb3VyY2VzLiBUaGUgcXVpY2tl c3Qgd2F5IHRvIGJvdGggZGVzaWduIGFuZCB1c2UgSSBoYXZlIGZvdW5kIGlzIHRleHQgc3Vic3Rp dHV0aW9ucyBbMV0uIEZvciB0aGUgbWF0aGVtYXRpY2FsIHN0eWxlcywgVGVYIGFuZCBVbmljb2Rl IGRvIGl0IGRpZmZlcmVudGx5LCBhbmQgQ29uVGVYdCBmb2xsb3dzIHRoZSBmb3JtZXIgdW5sZXNz IG9uZSB1c2VzIGEgY29tbWFuZCwgc2VlIFsyXS4KCjEuIGh0dHBzOi8vbWFpbG1hbi5udGcubmwv cGlwZXJtYWlsL250Zy1jb250ZXh0LzIwMjAvMDk5Mjc4Lmh0bWwKMi4gaHR0cHM6Ly9tYWlsbWFu Lm50Zy5ubC9waXBlcm1haWwvbnRnLWNvbnRleHQvMjAyMC8wOTk4ODAuaHRtbAoKCl9fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3Ro ZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6 IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8v bnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8v Y29udGV4dC5hYW5oZXQubmV0CmFyY2hpdmUgIDogaHR0cHM6Ly9iaXRidWNrZXQub3JnL3BoZy9j b250ZXh0LW1pcnJvci9jb21taXRzLwp3aWtpICAgICA6IGh0dHA6Ly9jb250ZXh0Z2FyZGVuLm5l dApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fXwoKX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K SWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNl IGFkZCBhbiBlbnRyeSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5s IC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdl ICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly9jb250ZXh0LmFhbmhldC5uZXQK YXJjaGl2ZSAgOiBodHRwczovL2JpdGJ1Y2tldC5vcmcvcGhnL2NvbnRleHQtbWlycm9yL2NvbW1p dHMvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fCg==