From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109260 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Hans Hagen Newsgroups: gmane.comp.tex.context Subject: Re: math symbol for "is an element of" Date: Fri, 6 Nov 2020 09:09:47 +0100 Message-ID: <4ce70059-110c-01c5-e4fa-2cc4eff86887@xs4all.nl> References: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com> <000c01d6b3ca$c907ddf0$5b1799d0$@projectivespace.com> Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1968"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.4.0 To: mailing list for ConTeXt users , type@projectivespace.com Original-X-From: ntg-context-bounces@ntg.nl Fri Nov 06 09:10:25 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 1kawpE-0000QX-PQ for gctc-ntg-context-518@m.gmane-mx.org; Fri, 06 Nov 2020 09:10:24 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 89CA81A9D77; Fri, 6 Nov 2020 09:09:50 +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 qGNFAjxxB8iX; Fri, 6 Nov 2020 09:09:49 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id AEA821A9E2B; Fri, 6 Nov 2020 09:09:49 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 4A9611A9DD3 for ; Fri, 6 Nov 2020 09:09:48 +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 ERnXrI4BmXOA for ; Fri, 6 Nov 2020 09:09:47 +0100 (CET) Received-SPF: Softfail (mailfrom) identity=mailfrom; client-ip=213.125.29.162; helo=d57d1da2.static.ziggozakelijk.nl; envelope-from=j.hagen@xs4all.nl; receiver= Original-Received: from d57d1da2.static.ziggozakelijk.nl (D57D1DA2.static.ziggozakelijk.nl [213.125.29.162]) (using TLSv1.2 with cipher ECDHE-RSA-CHACHA20-POLY1305 (256/256 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id 9CB2C1A9D77 for ; Fri, 6 Nov 2020 09:09:47 +0100 (CET) X-Default-Received-SPF: pass (skip=loggedin (res=PASS)) x-ip-name=10.100.1.103; envelope-from=; Original-Received: from [10.100.1.103] (unverified [10.100.1.103]) by smtp.ziggozakelijk.nl (SurgeMail 7.4o) with ESMTP (TLS) id 28738-1713362 for multiple; Fri, 06 Nov 2020 09:09:47 +0100 In-Reply-To: <000c01d6b3ca$c907ddf0$5b1799d0$@projectivespace.com> Content-Language: en-US X-Authenticated-User: hagen@controller-9 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:109260 Archived-At: T24gMTEvNi8yMDIwIDEyOjI0IEFNLCB0eXBlQHByb2plY3RpdmVzcGFjZS5jb20gd3JvdGU6Cgo+ IEluIHRoaXMgcGFydGljdWxhciBjYXNlLCBhcyBXb2xmZ2FuZyBwb2ludGVkIG91dCwgXGluIGFj dHVhbGx5IGRvZXMgd29yayB0byBnZXQgdGhlIGRlc2lyZWQgc3ltYm9sIGluIG1hdGggbW9kZS4g QnV0IGl0IGlzIGdvb2QgdG8ga25vdyBob3cgdG8gdXNlIHRleHQgc3Vic3RpdHV0aW9ucyB0b28u CldIZW4geW91IGFyZSBpbiBkb3VidCB5b3UgY2FuIGRvIHRoaXM6CgpcbWVhbmluZ1xpbgoKaXQg d2lsbCBzaG93IHlvdSB0aGF0IHRoZSBjb21tYW5kcyBpcyBhZGFwdGluZyBpdHNlbGYgdG8gbWF0 aCBtb2RlLiAKVGhlcmUgYXJlIGEgZmV3IHN1Y2ggY29tbWFuZHMgd2l0aCAnY2xhc2hpbmcnIG5h bWVzLgoKQSB2YXJpYW50IG9uIHRoaXMgaXMgXE5DIHdoaWNoIGlzIHRoZSBjb2x1bW4gc2VwYXJh dG9yIGJ1dCBoYXMgYSAKZGlmZmVyZW50IG1lYW5pbmcgZGVwZW5kaW5nIG9uIHdoZXJlIGl0J3Mg dXNlZC4gVGhhdCBvbmUgZ2V0cyBzZXQgdG8gCnNvbWUgbWVhbmluZyBpbiBlbnZpcm9ubWVudHMu CgpBbm90aGVyIG92ZXJsb2FkZWQgb25lIGlzIFxcIGFuZCBpdCBjb3VsZCBiZSBhIHNwYWNlIG9y IG5ld2xpbmUgb3IgLi4uCgpBY3R1YWxseSB0aGUgbGFzdCB0d28gYXJlIGNhbmRpZGF0ZXMgZm9y IHByb3RlY3Rpb3BuIGFnYWluc3Qgb3ZlcmxvYWQuCgpidHcsIHVzZXJzIGNhbiBydW4gY29udGV4 dCB3aXRoCgotLW92ZXJsb2FkbW9kZT13YXJuaW5nCi0tb3ZlcmxvYWRtb2RlPWVycm9yCgp0byBz ZWUgaWYgdGhlaXIgdXNhZ2Ugb2YgY29tbWFuZHMgb3IgZGVmaW5pdGlvbnMgYnJpbmcgY29uZmxp Y3RzLiAKQ3VycmVudGx5IFxpbiBpcyBub3QgeWV0IHByb3RlY3RlZCBhZ2FpbnN0IG92ZXJsb2Fk IGJ1dCBpdCB3aWxsIGJlLgoKSGFucwoKCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQogICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgSGFucyBIYWdlbiB8IFBSQUdNQSBBREUKICAgICAgICAgICAg ICAgUmlkZGVyc3RyYWF0IDI3IHwgODA2MSBHSCBIYXNzZWx0IHwgVGhlIE5ldGhlcmxhbmRzCiAg ICAgICAgdGVsOiAwMzggNDc3IDUzIDY5IHwgd3d3LnByYWdtYS1hZGUubmwgfCB3d3cucHJhZ21h LXBvZC5ubAotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpJZiB5b3VyIHF1ZXN0 aW9uIGlzIG9mIGludGVyZXN0IHRvIG90aGVycyBhcyB3ZWxsLCBwbGVhc2UgYWRkIGFuIGVudHJ5 IHRvIHRoZSBXaWtpIQoKbWFpbGxpc3QgOiBudGctY29udGV4dEBudGcubmwgLyBodHRwOi8vd3d3 Lm50Zy5ubC9tYWlsbWFuL2xpc3RpbmZvL250Zy1jb250ZXh0CndlYnBhZ2UgIDogaHR0cDovL3d3 dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL2NvbnRleHQuYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0 dHBzOi8vYml0YnVja2V0Lm9yZy9waGcvY29udGV4dC1taXJyb3IvY29tbWl0cy8Kd2lraSAgICAg OiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K