From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109251 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Newsgroups: gmane.comp.tex.context Subject: math symbol for "is an element of" Date: Thu, 5 Nov 2020 12:22:47 -0800 Message-ID: <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="40828"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: ntg-context-bounces@ntg.nl Thu Nov 05 21:25:10 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 1kalok-000ATX-7B for gctc-ntg-context-518@m.gmane-mx.org; Thu, 05 Nov 2020 21:25:10 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 035C01A9E1B; Thu, 5 Nov 2020 21:23:01 +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 xhdF03dpBvIT; Thu, 5 Nov 2020 21:23:00 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 11E051A9E1D; Thu, 5 Nov 2020 21:23:00 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id AE0411A9E1C for ; Thu, 5 Nov 2020 21:22:58 +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 Kj6wRqv0_dHy for ; Thu, 5 Nov 2020 21:22:56 +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 BD8821A9E03 for ; Thu, 5 Nov 2020 21:22:56 +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 1kalmS-00064G-RN for ntg-context@ntg.nl; Thu, 05 Nov 2020 15:22:55 -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:To:From:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Y12wO5bwuiJeu7vaBasSvBtWmBAtGk3Xk63buILsVx4=; b=g1PEO2Pw+4dMpGbT07bTH9DXqm jbK1fVp3F0WdWBmLd/BfT0Onf/NvBnlEjYGznokBdTkAGMJ0zKQLaLR0Y6GSn4tPlzrc2z4gPpE56 cU8GK382d+k8i1uZr7cemqsNe2Yq2VR63J2U96g3qfxgIKwz+4uKB9afJ26Lbz2i/GIIupZksCSw7 Aiea80rZmjgdBYByjf56PCaZS3YJpYvdMbKzr35J9WzwhGrcwMZpJCRe9a0FA3tWwq+zTRftSPRaF 94879HifWzWNiM389+X0QgNGiyfEh3fkCxmtJRxkglN9SNujiWbmkJgGkIGMUihEAZ6a4yjvXx/QL +TpapAQw==; Original-Received: from 131-191-23-164.click-network.com ([131.191.23.164]:54107 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 1kalmR-0007SV-Ti for ntg-context@ntg.nl; Thu, 05 Nov 2020 15:22:48 -0500 X-Mailer: Microsoft Outlook 16.0 Thread-Index: Adazrs+KMzkVkYLKRLq815JWzU9Rvg== Content-Language: en-us 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/pkZhq7RBdFcw5O6+RqgEPncvn1vcQEZ+B2fMUZq99/v+OWrp+SY7iSuea1+9c9m3wYfwIlXF ruOJ5dDhy8hPbEWiK1zBzQXf6WvO6lvHQahxaghlzsCz99524DZSfCC01Ft1LGzbvJpcs1BnIcm4 9MbXUKHstNa9/5aes1MTeUSVs0hUfPPbFkNGsOLbPUQmOpdd9qkombCDzzhWEdCHLHzmmp7T+Hcb Or4h32BArcPd4O/HRLoR6jsqxTJNEw0cYcSmmSZw54zIlrmjzzoz6PrQ8BQlXPo12LYeCgJQTfTx VnQ8Q4AmlQvnqtTUbFHc1msMenV9DSfAc7ffX8TdqEXkwxwMjsp2mNApdh89oe/mO/OZffHkWmTf 6wyeHK6Ij6cAi4paFidI0defGUM6zqowBER7uKbfyGusBC83BsQ4JD3u3keqrKTTUBoy4RjAUqxX X/HQWz77aicBIkUL/j1Y48GvmeURQjjE635VTztdUBHpxE0BXNZJ6ETu09TFBMBWdilM7ydUEwKQ UzA5Dy8PTZ0Vmu9gsj6C537Aoro3NnBq4p3ssAVt3tX6JHH8KVuXhEKGRSbxcvgQchHewYFQBEvi bVExQ9VVERWeKKG4PAQYNyavp7c49O0M1Ey+Oys6JxhFmflrLTw/HegitMa8F9vG76PVSolQ8hdW ZYeiAsrJ4Dgfdt//UZ1WffAH/n3lS 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:109251 Archived-At: QSBxdWljayBxdWVzdGlvbiBmb3IgdGhlIENvblRlWHQgbWFpbGluZyBsaXN0OgoKT3RoZXIgdGhh biB0eXBpbmcgaXQgZGlyZWN0bHkgKG9yIGN1dHRpbmcgYW5kIHBhc3RpbmcgaXQpLCBob3cgZG9l cyBvbmUgZ2V0CnRoZSBjaGFyYWN0ZXIg4oiIIChpbiBjYXNlIHRoaXMgZ2V0cyBnYXJibGVkIGlu IGVtYWlsaW5nLCB0aGlzIGlzIHN1cHBvc2VkIHRvCmJlIHRoZSBtYXRoZW1hdGljYWwgc3ltYm9s IHRoYXQgbG9va3MgbW9yZSBvciBsZXNzIGxpa2UgYW4gZXBzaWxvbiwgYW5kCndoaWNoIGlzIHRo ZSBtYXRoZW1hdGljYWwgc3ltYm9sIGZvciAiaXMgYW4gZWxlbWVudCBvZiIgYSBzZXQpLgoKXHNo b3dtYXRoZm9udGNoYXJhY3RlcnMgZ2l2ZXMgdGhlIGZvbGxvd2luZyBpbmZvcm1hdGlvbiBhYm91 dCBpdDoKClUrMDIyMDg6IOKIiCDiiIggZWxlbWVudCBvZgp3aWR0aDogNTI0MjYyLCBoZWlnaHQ6 IDQyNjc5OCwgZGVwdGg6IDMzNzk4LCBpdGFsaWM6IDAKbWF0aGNsYXNzOiByZWxhdGlvbiwgbWF0 aG5hbWU6IGluCgpJJ20gbm90IGNvbXBsZXRlbHkgc3VyZSBob3cgdG8gcmVhZCB0aGlzIGluZm9y bWF0aW9uLCBidXQgaWYgSSByZWFkIGl0CmNvcnJlY3RseSwgcGVyaGFwcyB0aGlzIGNoYXJhY3Rl ciBzaG91bGQgYmUgZ290dGVuIHdpdGggXGluLiBBbHNvLCB0aGUgQmFzaWMKTWF0aCBwYWdlIG9m IHRoZSBXaWtpIChodHRwczovL3dpa2kuY29udGV4dGdhcmRlbi5uZXQvTWF0aC9iYXNpYykgc3Rh dGVzCnRoYXQgeW91IHNob3VsZCBiZSBhYmxlIHRvIHR5cGUgdGhpcyBjaGFyYWN0ZXIgd2l0aCAi XGluIi4gQnV0IHRoYXQgZG9lc24ndAp3b3JrIChldmVuIGluc2lkZSBhIGZvcm11bGEpLCBzaW5j ZSBcaW4gaXMgdXNlZCBmb3IgcmVmZXJlbmNlcyBpbiBDb25UZVh0LgpBbmQgaW4gZmFjdCB0aGUg bGluayBvbiB0aGUgQmFzaWMgTWF0aCBwYWdlIGZvciBcaW4gdGFrZXMgeW91IHRvIHRoZQpleHBs YW5hdGlvbiBvZiBcaW4gYXMgdXNlZCBmb3IgQ29uVGVYdCByZWZlcmVuY2VzLgoKVGhpcyBpcyBh IHZlcnkgY29tbW9uIGNoYXJhY3RlciBpbiBtYXRoZW1hdGljcywgc28gSSB3YW50ZWQgdG8gYXNr OiB3aGF0IGlzCnRoZSByZWNvbW1lbmRlZCB3YXkgdG8gdHlwZSB0aGlzIGNoYXJhY3Rlcj8gKEkn bSBob3BpbmcgdG8gYXZvaWQgaGF2aW5nIHRvCmN1dCBhbmQgcGFzdGUgdGhlIGNoYXJhY3RlciBp bnRvIHRoZSBkb2N1bWVudCBldmVyeSB0aW1lIEkgd2FudCB0byB1c2UgaXQuCkFuZCBJIGRvbid0 IGhhdmUgYSB1dGYgZW5hYmxlZCBrZXlib2FyZCB0aGF0IHdvdWxkIGFsbG93IG1lIHRvIHR5cGUg dGhpcwpzeW1ib2wgcmVhZGlseSBmcm9tIHRoZSBrZXlib2FyZC4pCgpUaGFua3MgaW4gYWR2YW5j ZSwKCgpTY2l1cnVzCgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rp b24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkg dG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cu bnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3 LnByYWdtYS1hZGUubmwgLyBodHRwOi8vY29udGV4dC5hYW5oZXQubmV0CmFyY2hpdmUgIDogaHR0 cHM6Ly9iaXRidWNrZXQub3JnL3BoZy9jb250ZXh0LW1pcnJvci9jb21taXRzLwp3aWtpICAgICA6 IGh0dHA6Ly9jb250ZXh0Z2FyZGVuLm5ldApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo=