From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109277 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: Fri, 6 Nov 2020 08:30:17 -0800 Message-ID: <003001d6b45a$1ce6c370$56b44a50$@projectivespace.com> References: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com> <000c01d6b3ca$c907ddf0$5b1799d0$@projectivespace.com> <4ce70059-110c-01c5-e4fa-2cc4eff86887@xs4all.nl> 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="16882"; mail-complaints-to="usenet@ciao.gmane.io" To: "'mailing list for ConTeXt users'" Original-X-From: ntg-context-bounces@ntg.nl Fri Nov 06 17:31:55 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 1kb4eZ-0004G2-Bq for gctc-ntg-context-518@m.gmane-mx.org; Fri, 06 Nov 2020 17:31:55 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 496AA1A9EC1; Fri, 6 Nov 2020 17:30:35 +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 C3Vs5GIyScR8; Fri, 6 Nov 2020 17:30:32 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id EB2CF1A9ECC; Fri, 6 Nov 2020 17:30:32 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 598201A9EC1 for ; Fri, 6 Nov 2020 17:30: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 i0N6OaKjmCfZ for ; Fri, 6 Nov 2020 17:30: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 E19AC1A9EA8 for ; Fri, 6 Nov 2020 17:30: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 1kb4d0-0002gX-Le for ntg-context@ntg.nl; Fri, 06 Nov 2020 11:30: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=6iBbDKaNzYomTP18LevYCo+Hlst7lhxptyjsMaa+Ccs=; b=J/zBk4AXlEg5y0OQKnZOEOe0VI a09dt3/kwwmX2sawLSuYwk1P6YFb9ut8NCQmBIk+sdDct6qqCsyoc4FIQEGihmmv1k2EBoLX7P/x2 rxojx8haaQ2ifmralYTywWaes+V4+++4LzFrveQSFa9ILcCk9DKckN5qLKlSSYmyH2bFsG+ySaX1V sCrPhMclxKXR4WBXagQZQyneUSO6Jen9tm4IXYEHpt1v4bCuWYU8NsfEKbkLIs6Xf1Z1hMWfaseZl 3Z8AEOsKA2tGO1xwp947s1/eIJ08yrrQAXBgEd2HhiygZ6PvbeNLmpYSQSqwhGX+BokHyN1Y0ibDB 5eJy/yFA==; Original-Received: from 131-191-23-164.click-network.com ([131.191.23.164]:57105 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 1kb4cz-0002Qw-Ox for ntg-context@ntg.nl; Fri, 06 Nov 2020 11:30:17 -0500 In-Reply-To: <4ce70059-110c-01c5-e4fa-2cc4eff86887@xs4all.nl> X-Mailer: Microsoft Outlook 16.0 Content-Language: en-us Thread-Index: AQFdyJisIA6ulKbUfWHRVtMEc+yEuwImK5mLAjLOM4cCI/Utsap5OuEg 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/pkZhq7RBdFcw5O67MpgHCmjJwW7E8zOG6dVYUZq99/v+OWrp+SY7iSuea1+9c9m3wYfwIlXF ruOJ5dDhy8hPbEWiK1zBzQXf6WvO6lvHQahxaghlzsCz99524DZSfCC01Ft1LGzbvJpcs1BnIcm4 9MbXUKHstNa9/5aes1MTeUSVs0hUfPPbFkNGsOLbPUQmOpdd9qkombCDzzhWEdCHLHzmmp7T+Hcb Or4h32BArcPd4O/HRLoR6jsqxTJNEw0cYcSmmSZw54zIlrmjzzoz6PrQ8BQlXPo12LYeCgJQTfTx VnQ8Q4AmlQvnqtTUbFHc1msMenV9DSfAc7ffX8TdqEXkwxwMjsp2mNApdh89oe/mO/OZffHkWmTf 6wyeHK6Ij6cAi4paFidI0defGUM6zqowBER7uKbfyGusBC83BsQ4JD3u3keqrKTTUBoy4RjAUqxX X/HQWz77aicBIkUL/j1Y48GvmeURQjjE635VTztdUBHpxE0BXNZJ6ETu09TFBMBWdilM7ydUEwJw rUL+OGosCgyECaZt4svF537Aoro3NnBq4p3ssAVt3tX6JHH8KVuXhEKGRSbxcvgQchHewYFQBEvi bVExQ9VVERWeKKG4PAQYNyavp7c49O0M1Ey+Oys6JxhFmflrLTw/HegitMa8F9vG76PVSolQgiCS j1rBF2Xg4Ia95nwVqoIBaquJa/e8W 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:109277 Archived-At: VGhhbmsgeW91IGZvciB5b3VyIGV4dHJlbWVseSB0aG9yb3VnaCBhbmQgaGVscGZ1bCByZXNwb25z ZSwgSGFucyEgSSdtIHN0aWxsIGZhaXJseSBuZXcgdG8gQ29uVGVYdCwgYnV0IEknbSBsZWFybmlu ZywgYW5kIEkgaGF2ZSBiZWVuIGhlbHBlZCBncmVhdGx5IGJ5IGFsbCB0aGUgc3VwcG9ydCB0aGF0 IGlzIGdlbmVyb3VzbHkgcHJvdmlkZWQgb24gdGhpcyBlbWFpbCBsaXN0LgoKV2l0aCB0aGFua3Ms CgoKU2NpdXJ1cwoKLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0tLS0KRnJvbTogSGFucyBIYWdlbiA8 ai5oYWdlbkB4czRhbGwubmw+IApTZW50OiBGcmlkYXksIE5vdmVtYmVyIDYsIDIwMjAgMTI6MTAg QU0KVG86IG1haWxpbmcgbGlzdCBmb3IgQ29uVGVYdCB1c2VycyA8bnRnLWNvbnRleHRAbnRnLm5s PjsgdHlwZUBwcm9qZWN0aXZlc3BhY2UuY29tClN1YmplY3Q6IFJlOiBbTlRHLWNvbnRleHRdIG1h dGggc3ltYm9sIGZvciAiaXMgYW4gZWxlbWVudCBvZiIKCk9uIDExLzYvMjAyMCAxMjoyNCBBTSwg dHlwZUBwcm9qZWN0aXZlc3BhY2UuY29tIHdyb3RlOgoKPiBJbiB0aGlzIHBhcnRpY3VsYXIgY2Fz ZSwgYXMgV29sZmdhbmcgcG9pbnRlZCBvdXQsIFxpbiBhY3R1YWxseSBkb2VzIHdvcmsgdG8gZ2V0 IHRoZSBkZXNpcmVkIHN5bWJvbCBpbiBtYXRoIG1vZGUuIEJ1dCBpdCBpcyBnb29kIHRvIGtub3cg aG93IHRvIHVzZSB0ZXh0IHN1YnN0aXR1dGlvbnMgdG9vLgpXSGVuIHlvdSBhcmUgaW4gZG91YnQg eW91IGNhbiBkbyB0aGlzOgoKXG1lYW5pbmdcaW4KCml0IHdpbGwgc2hvdyB5b3UgdGhhdCB0aGUg Y29tbWFuZHMgaXMgYWRhcHRpbmcgaXRzZWxmIHRvIG1hdGggbW9kZS4gClRoZXJlIGFyZSBhIGZl dyBzdWNoIGNvbW1hbmRzIHdpdGggJ2NsYXNoaW5nJyBuYW1lcy4KCkEgdmFyaWFudCBvbiB0aGlz IGlzIFxOQyB3aGljaCBpcyB0aGUgY29sdW1uIHNlcGFyYXRvciBidXQgaGFzIGEgCmRpZmZlcmVu dCBtZWFuaW5nIGRlcGVuZGluZyBvbiB3aGVyZSBpdCdzIHVzZWQuIFRoYXQgb25lIGdldHMgc2V0 IHRvIApzb21lIG1lYW5pbmcgaW4gZW52aXJvbm1lbnRzLgoKQW5vdGhlciBvdmVybG9hZGVkIG9u ZSBpcyBcXCBhbmQgaXQgY291bGQgYmUgYSBzcGFjZSBvciBuZXdsaW5lIG9yIC4uLgoKQWN0dWFs bHkgdGhlIGxhc3QgdHdvIGFyZSBjYW5kaWRhdGVzIGZvciBwcm90ZWN0aW9wbiBhZ2FpbnN0IG92 ZXJsb2FkLgoKYnR3LCB1c2VycyBjYW4gcnVuIGNvbnRleHQgd2l0aAoKLS1vdmVybG9hZG1vZGU9 d2FybmluZwotLW92ZXJsb2FkbW9kZT1lcnJvcgoKdG8gc2VlIGlmIHRoZWlyIHVzYWdlIG9mIGNv bW1hbmRzIG9yIGRlZmluaXRpb25zIGJyaW5nIGNvbmZsaWN0cy4gCkN1cnJlbnRseSBcaW4gaXMg bm90IHlldCBwcm90ZWN0ZWQgYWdhaW5zdCBvdmVybG9hZCBidXQgaXQgd2lsbCBiZS4KCkhhbnMK CgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEhh bnMgSGFnZW4gfCBQUkFHTUEgQURFCiAgICAgICAgICAgICAgIFJpZGRlcnN0cmFhdCAyNyB8IDgw NjEgR0ggSGFzc2VsdCB8IFRoZSBOZXRoZXJsYW5kcwogICAgICAgIHRlbDogMDM4IDQ3NyA1MyA2 OSB8IHd3dy5wcmFnbWEtYWRlLm5sIHwgd3d3LnByYWdtYS1wb2QubmwKLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8g b3RoZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlz dCA6IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGlu Zm8vbnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRw Oi8vY29udGV4dC5hYW5oZXQubmV0CmFyY2hpdmUgIDogaHR0cHM6Ly9iaXRidWNrZXQub3JnL3Bo Zy9jb250ZXh0LW1pcnJvci9jb21taXRzLwp3aWtpICAgICA6IGh0dHA6Ly9jb250ZXh0Z2FyZGVu Lm5ldApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo=