From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109254 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Hans_=C3=85berg?= Newsgroups: gmane.comp.tex.context Subject: Re: math symbol for "is an element of" Date: Thu, 5 Nov 2020 21:44:04 +0100 Message-ID: References: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com> Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\)) 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="5387"; mail-complaints-to="usenet@ciao.gmane.io" To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Thu Nov 05 21:45:00 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 1kam7w-0001HQ-Np for gctc-ntg-context-518@m.gmane-mx.org; Thu, 05 Nov 2020 21:45:00 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 587D21A9E29; Thu, 5 Nov 2020 21:44:09 +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 Ks5EsFNQkxeS; Thu, 5 Nov 2020 21:44:07 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 33FFC1A9E2F; Thu, 5 Nov 2020 21:44:07 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id EB91B1A9961 for ; Thu, 5 Nov 2020 21:44:05 +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 COIqQJZoDzTT for ; Thu, 5 Nov 2020 21:44:05 +0100 (CET) Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=81.236.60.154; helo=v-smtpout1.han.skanova.net; envelope-from=haberg-1@telia.com; receiver= Original-Received: from v-smtpout1.han.skanova.net (v-smtpout1.han.skanova.net [81.236.60.154]) (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 1C1201A9959 for ; Thu, 5 Nov 2020 21:44:04 +0100 (CET) Original-Received: from [10.0.1.4] ([90.227.203.185]) by cmsmtp with ESMTPA id am72kluNC3UCOam72kyTBg; Thu, 05 Nov 2020 21:44:04 +0100 In-Reply-To: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com> X-Mailer: Apple Mail (2.3608.120.23.2.4) X-CMAE-Envelope: MS4wfFquFGMJEC577V1tp8hg8MQLd2E1Ck644oOGTACzYo1JS33sAtX4IOHYxenNYTd13wAyktQAyguZ11+W8wMcn/uHkEVww4imQHUx0MSvh43gcKDZqm6O JTodSkwMiFMTNQhrbTPZiegLN7q9nanC+5NJIdhO55kyHsvPugCFkQEy 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:109254 Archived-At: Cj4gT24gNSBOb3YgMjAyMCwgYXQgMjE6MjIsIHR5cGVAcHJvamVjdGl2ZXNwYWNlLmNvbSB3cm90 ZToKPiAKPiBPdGhlciB0aGFuIHR5cGluZyBpdCBkaXJlY3RseSAob3IgY3V0dGluZyBhbmQgcGFz dGluZyBpdCksIGhvdyBkb2VzIG9uZSBnZXQKPiB0aGUgY2hhcmFjdGVyIOKIiCAoaW4gY2FzZSB0 aGlzIGdldHMgZ2FyYmxlZCBpbiBlbWFpbGluZywgdGhpcyBpcyBzdXBwb3NlZCB0bwo+IGJlIHRo ZSBtYXRoZW1hdGljYWwgc3ltYm9sIHRoYXQgbG9va3MgbW9yZSBvciBsZXNzIGxpa2UgYW4gZXBz aWxvbiwgYW5kCj4gd2hpY2ggaXMgdGhlIG1hdGhlbWF0aWNhbCBzeW1ib2wgZm9yICJpcyBhbiBl bGVtZW50IG9mIiBhIHNldCkuCuKApgo+IFRoaXMgaXMgYSB2ZXJ5IGNvbW1vbiBjaGFyYWN0ZXIg aW4gbWF0aGVtYXRpY3MsIHNvIEkgd2FudGVkIHRvIGFzazogd2hhdCBpcwo+IHRoZSByZWNvbW1l bmRlZCB3YXkgdG8gdHlwZSB0aGlzIGNoYXJhY3Rlcj8gKEknbSBob3BpbmcgdG8gYXZvaWQgaGF2 aW5nIHRvCj4gY3V0IGFuZCBwYXN0ZSB0aGUgY2hhcmFjdGVyIGludG8gdGhlIGRvY3VtZW50IGV2 ZXJ5IHRpbWUgSSB3YW50IHRvIHVzZSBpdC4KPiBBbmQgSSBkb24ndCBoYXZlIGEgdXRmIGVuYWJs ZWQga2V5Ym9hcmQgdGhhdCB3b3VsZCBhbGxvdyBtZSB0byB0eXBlIHRoaXMKPiBzeW1ib2wgcmVh ZGlseSBmcm9tIHRoZSBrZXlib2FyZC4pCgpUaGVyZSBpcyBubyByZWNvbW1lbmRlZCB3YXkuIE9u ZSBjYW4gaGF2ZSBpdCBpbiB0aGUgaW5wdXQgc291cmNlcy4gVGhlIHF1aWNrZXN0IHdheSB0byBi b3RoIGRlc2lnbiBhbmQgdXNlIEkgaGF2ZSBmb3VuZCBpcyB0ZXh0IHN1YnN0aXR1dGlvbnMgWzFd LiBGb3IgdGhlIG1hdGhlbWF0aWNhbCBzdHlsZXMsIFRlWCBhbmQgVW5pY29kZSBkbyBpdCBkaWZm ZXJlbnRseSwgYW5kIENvblRlWHQgZm9sbG93cyB0aGUgZm9ybWVyIHVubGVzcyBvbmUgdXNlcyBh IGNvbW1hbmQsIHNlZSBbMl0uCgoxLiBodHRwczovL21haWxtYW4ubnRnLm5sL3BpcGVybWFpbC9u dGctY29udGV4dC8yMDIwLzA5OTI3OC5odG1sCjIuIGh0dHBzOi8vbWFpbG1hbi5udGcubmwvcGlw ZXJtYWlsL250Zy1jb250ZXh0LzIwMjAvMDk5ODgwLmh0bWwKCgpfX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fXwpJZiB5b3VyIHF1ZXN0aW9uIGlzIG9mIGludGVyZXN0IHRvIG90aGVycyBhcyB3ZWxs LCBwbGVhc2UgYWRkIGFuIGVudHJ5IHRvIHRoZSBXaWtpIQoKbWFpbGxpc3QgOiBudGctY29udGV4 dEBudGcubmwgLyBodHRwOi8vd3d3Lm50Zy5ubC9tYWlsbWFuL2xpc3RpbmZvL250Zy1jb250ZXh0 CndlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL2NvbnRleHQuYWFu aGV0Lm5ldAphcmNoaXZlICA6IGh0dHBzOi8vYml0YnVja2V0Lm9yZy9waGcvY29udGV4dC1taXJy b3IvY29tbWl0cy8Kd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX18K