From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109253 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Wolfgang Schuster Newsgroups: gmane.comp.tex.context Subject: Re: math symbol for "is an element of" Date: Thu, 5 Nov 2020 21:35:31 +0100 Message-ID: <5c2bc172-5551-9e03-d596-60dd3db56596@gmail.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"; Format="flowed" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16274"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 PostboxApp/7.0.36 To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Thu Nov 05 21:37:57 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 1kam16-00047X-V9 for gctc-ntg-context-518@m.gmane-mx.org; Thu, 05 Nov 2020 21:37:56 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 4A13D1A9E3A; Thu, 5 Nov 2020 21:35: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 L-JtZ9HYxQGC; Thu, 5 Nov 2020 21:35:30 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 5FC0A1A9E33; Thu, 5 Nov 2020 21:35:30 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 404811A9E28 for ; Thu, 5 Nov 2020 21:35:29 +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 CRCo1raXj3_F for ; Thu, 5 Nov 2020 21:35:28 +0100 (CET) Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=209.85.128.44; helo=mail-wm1-f44.google.com; envelope-from=wolfgang.schuster.lists@gmail.com; receiver= Original-Received: from mail-wm1-f44.google.com (mail-wm1-f44.google.com [209.85.128.44]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id 781C71A9E22 for ; Thu, 5 Nov 2020 21:35:28 +0100 (CET) Original-Received: by mail-wm1-f44.google.com with SMTP id p22so2877207wmg.3 for ; Thu, 05 Nov 2020 12:35:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:cc:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=nQYUjy+Ui3P+T07G/rnNykTXwStUqiwOgYsqpNCN5eo=; b=s+TaZQ6mc+E9eIx+Z/PW113yP9FkhZsUdToQcBiNe51m6Gzj9wNEFQDZlJJOZbEcmM atHMc95zAxA0hpjR/hnexpwf3vs7brBtgi9+pOeunSjpzv2ap2K3vPBE7ANcr21C/ZdZ z52T+IAY6lwPIMsm6bDxkzOhSfSCQPaL8VxX/kXvCNjFrc+7u/01Sq9QaosRn9+FhySu qj1dkVjWo+7xte9aZVV31NTB1izF94TkK+0QyKtNoORqR0zzaM0j/cN9GNN1n2VmFH8N YbQlvzP/CtfCMSYHHqhBIY4v10W4Y6QvyFb6SYmE4aStNyu5pKsLhoo+l/HrxdJ/ro7X PfoQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:cc:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=nQYUjy+Ui3P+T07G/rnNykTXwStUqiwOgYsqpNCN5eo=; b=g5rfMkBQimySuteMrnviSioC3tHC36t3dGXLoKaKGog1mW1tVY1zXA6t78CPhLjGAS 4NGa+MwVdEBzFv2h2maYftI3QXmtcb/f2aeyTcikTYJWXy1bmm8oRIWkbElKzofJW7BG wtYYquDALc8xVdvOLkxIID9fBeM2yg1r1vX8hnIMLZmjHAIxjB9g24JjuMx85Ziq/Q0y 2s2/on3bXPHDww7mp84r8y+5jwllOidmKkR4Ns7mpuPknAyXa5Ka9etuQQjBWCqthPlu kXyXx+EIdAqcqTi9veV/OYVIWl8iBn4T/rt4v2EyqC1yuOGk6oeLpAQ+K8ccg9Pb65II szGw== X-Gm-Message-State: AOAM531tEDNDaGFqcfhMp485Y71NzbUW/uakM3276ZacB9k5WnV/N+CD +9swEclL9hLziXkjEVlwJDfpnpJNiuY= X-Google-Smtp-Source: ABdhPJx/LsTuYucozBokviVwc5xSzEPLhb4xIs8BLMCiPBPAYl+ARbT2sdHLCgamqKkDDYec5oE2Vg== X-Received: by 2002:a1c:bcd6:: with SMTP id m205mr4440987wmf.47.1604608528102; Thu, 05 Nov 2020 12:35:28 -0800 (PST) Original-Received: from [192.168.1.4] (dynamic-077-004-062-052.77.4.pool.telefonica.de. [77.4.62.52]) by smtp.gmail.com with ESMTPSA id l11sm4369019wro.89.2020.11.05.12.35.27 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 05 Nov 2020 12:35:27 -0800 (PST) In-Reply-To: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com> Content-Language: en-US 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:109253 Archived-At: dHlwZUBwcm9qZWN0aXZlc3BhY2UuY29tIHNjaHJpZWIgYW0gMDUuMTEuMjAyMCB1bSAyMToyMjoK PiBBIHF1aWNrIHF1ZXN0aW9uIGZvciB0aGUgQ29uVGVYdCBtYWlsaW5nIGxpc3Q6Cj4gCj4gT3Ro ZXIgdGhhbiB0eXBpbmcgaXQgZGlyZWN0bHkgKG9yIGN1dHRpbmcgYW5kIHBhc3RpbmcgaXQpLCBo b3cgZG9lcyBvbmUgZ2V0Cj4gdGhlIGNoYXJhY3RlciDiiIggKGluIGNhc2UgdGhpcyBnZXRzIGdh cmJsZWQgaW4gZW1haWxpbmcsIHRoaXMgaXMgc3VwcG9zZWQgdG8KPiBiZSB0aGUgbWF0aGVtYXRp Y2FsIHN5bWJvbCB0aGF0IGxvb2tzIG1vcmUgb3IgbGVzcyBsaWtlIGFuIGVwc2lsb24sIGFuZAo+ IHdoaWNoIGlzIHRoZSBtYXRoZW1hdGljYWwgc3ltYm9sIGZvciAiaXMgYW4gZWxlbWVudCBvZiIg YSBzZXQpLgo+IAo+IFxzaG93bWF0aGZvbnRjaGFyYWN0ZXJzIGdpdmVzIHRoZSBmb2xsb3dpbmcg aW5mb3JtYXRpb24gYWJvdXQgaXQ6Cj4gCj4gVSswMjIwODog4oiIIOKIiCBlbGVtZW50IG9mCj4g d2lkdGg6IDUyNDI2MiwgaGVpZ2h0OiA0MjY3OTgsIGRlcHRoOiAzMzc5OCwgaXRhbGljOiAwCj4g bWF0aGNsYXNzOiByZWxhdGlvbiwgbWF0aG5hbWU6IGluCj4gCj4gSSdtIG5vdCBjb21wbGV0ZWx5 IHN1cmUgaG93IHRvIHJlYWQgdGhpcyBpbmZvcm1hdGlvbiwgYnV0IGlmIEkgcmVhZCBpdAo+IGNv cnJlY3RseSwgcGVyaGFwcyB0aGlzIGNoYXJhY3RlciBzaG91bGQgYmUgZ290dGVuIHdpdGggXGlu LiBBbHNvLCB0aGUgQmFzaWMKPiBNYXRoIHBhZ2Ugb2YgdGhlIFdpa2kgKGh0dHBzOi8vd2lraS5j b250ZXh0Z2FyZGVuLm5ldC9NYXRoL2Jhc2ljKSBzdGF0ZXMKPiB0aGF0IHlvdSBzaG91bGQgYmUg YWJsZSB0byB0eXBlIHRoaXMgY2hhcmFjdGVyIHdpdGggIlxpbiIuIEJ1dCB0aGF0IGRvZXNuJ3QK PiB3b3JrIChldmVuIGluc2lkZSBhIGZvcm11bGEpLCBzaW5jZSBcaW4gaXMgdXNlZCBmb3IgcmVm ZXJlbmNlcyBpbiBDb25UZVh0Lgo+IEFuZCBpbiBmYWN0IHRoZSBsaW5rIG9uIHRoZSBCYXNpYyBN YXRoIHBhZ2UgZm9yIFxpbiB0YWtlcyB5b3UgdG8gdGhlCj4gZXhwbGFuYXRpb24gb2YgXGluIGFz IHVzZWQgZm9yIENvblRlWHQgcmVmZXJlbmNlcy4KPiAKPiBUaGlzIGlzIGEgdmVyeSBjb21tb24g Y2hhcmFjdGVyIGluIG1hdGhlbWF0aWNzLCBzbyBJIHdhbnRlZCB0byBhc2s6IHdoYXQgaXMKPiB0 aGUgcmVjb21tZW5kZWQgd2F5IHRvIHR5cGUgdGhpcyBjaGFyYWN0ZXI/IChJJ20gaG9waW5nIHRv IGF2b2lkIGhhdmluZyB0bwo+IGN1dCBhbmQgcGFzdGUgdGhlIGNoYXJhY3RlciBpbnRvIHRoZSBk b2N1bWVudCBldmVyeSB0aW1lIEkgd2FudCB0byB1c2UgaXQuCj4gQW5kIEkgZG9uJ3QgaGF2ZSBh IHV0ZiBlbmFibGVkIGtleWJvYXJkIHRoYXQgd291bGQgYWxsb3cgbWUgdG8gdHlwZSB0aGlzCj4g c3ltYm9sIHJlYWRpbHkgZnJvbSB0aGUga2V5Ym9hcmQuKQoKRG8geW91IGhhdmUgYSBleGFtcGxl IHdoZXJlIFxpbiBmYWlscz8KClxzdGFydHRleHQKClxtIHtBIFxpbiBCfQoKXHN0YXJ0Zm9ybXVs YQpBIFxpbiBCClxzdG9wZm9ybXVsYQoKXHN0b3B0ZXh0CgpXb2xmZ2FuZwpfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fXwpJZiB5b3VyIHF1ZXN0aW9uIGlzIG9mIGludGVyZXN0IHRvIG90aGVycyBh cyB3ZWxsLCBwbGVhc2UgYWRkIGFuIGVudHJ5IHRvIHRoZSBXaWtpIQoKbWFpbGxpc3QgOiBudGct Y29udGV4dEBudGcubmwgLyBodHRwOi8vd3d3Lm50Zy5ubC9tYWlsbWFuL2xpc3RpbmZvL250Zy1j b250ZXh0CndlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL2NvbnRl eHQuYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0dHBzOi8vYml0YnVja2V0Lm9yZy9waGcvY29udGV4 dC1taXJyb3IvY29tbWl0cy8Kd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX18K