From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/108545
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Fabrice Couvreur <fabrice1.couvreur@gmail.com>
Newsgroups: gmane.comp.tex.context
Subject: Re: Mathematical symbol of non-inclusion
Date: Mon, 31 Aug 2020 16:59:31 +0200
Message-ID: <CACyK-erSTLNO9uj==EXXNHCrKsRKJSBdEegL3oU-YB=AHW0aPg@mail.gmail.com>
References: <CACyK-eoVyO9S0t7nuLxO+GDVxC0rG_HTnP53M1zw8Hfh14X+kg@mail.gmail.com>
 <ea547502-0d27-b721-196d-e636c860282b@gmail.com>
 <9F2E13C1-9A30-4500-A247-A019AFC61D9F@telia.com>
 <CACyK-erV2eU3M0ZXyxQe=rip8-Wadp4bPOTTgyObOyGVRg_aaw@mail.gmail.com>
 <C5A40C65-4C10-46C4-85D0-072EBB01BC07@telia.com>
Reply-To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="===============5389153059130368227=="
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="38626"; mail-complaints-to="usenet@ciao.gmane.io"
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Original-X-From: ntg-context-bounces@ntg.nl Mon Aug 31 17:02:18 2020
Return-path: <ntg-context-bounces@ntg.nl>
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 <ntg-context-bounces@ntg.nl>)
	id 1kClK5-0009xE-S7
	for gctc-ntg-context-518@m.gmane-mx.org; Mon, 31 Aug 2020 17:02:17 +0200
Original-Received: from localhost (localhost [127.0.0.1])
	by zapf.ntg.nl (Postfix) with ESMTP id 172C51538ED;
	Mon, 31 Aug 2020 17:02:03 +0200 (CEST)
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 7gAT9KJR97Ql; Mon, 31 Aug 2020 17:02:02 +0200 (CEST)
Original-Received: from zapf.ntg.nl (localhost [127.0.0.1])
	by zapf.ntg.nl (Postfix) with ESMTP id 24A15153A9B;
	Mon, 31 Aug 2020 17:02:02 +0200 (CEST)
Original-Received: from localhost (localhost [127.0.0.1])
 by zapf.ntg.nl (Postfix) with ESMTP id 7F35C153A90
 for <ntg-context@ntg.nl>; Mon, 31 Aug 2020 17:02:00 +0200 (CEST)
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 yhJvvy_COU8U for <ntg-context@ntg.nl>;
 Mon, 31 Aug 2020 17:01:59 +0200 (CEST)
Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=209.85.128.49;
 helo=mail-wm1-f49.google.com; envelope-from=fabrice1.couvreur@gmail.com;
 receiver=<UNKNOWN> 
Original-Received: from mail-wm1-f49.google.com (mail-wm1-f49.google.com
 [209.85.128.49])
 (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 8492D1538ED
 for <ntg-context@ntg.nl>; Mon, 31 Aug 2020 17:01:59 +0200 (CEST)
Original-Received: by mail-wm1-f49.google.com with SMTP id e17so5575275wme.0
 for <ntg-context@ntg.nl>; Mon, 31 Aug 2020 08:01:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
 bh=nWmdD18GFIBDKfPE/qP+lxJzQXsces4lEdW6qa/UyQQ=;
 b=GYR73xBZowOswrP/oWKxYASJYO9RmCK5f8Au+bnUowuSlAsoiv4iWwajUQZq6mJF21
 jbLumrPuuOdJvpIP5HPD7ePHUfweTXSdrsUqpTiXMRYhVWr17/3iTdgRFsdCZB7pgU+i
 9Vz+uZG7qH/WxoKOfhtkGWVG4OXMLAXIFf1J17jFdkEGl7K+yD1TsRsRmNVSC64RlMJh
 3tYlCU22TR8MpQbhlmdz5R7d2SDRghOqbuVA5XmkO3gjsEhl5i54yLjyYZNSPsbCv10N
 9sx5bKf9cjri0iNhTFyyUIj7Ap5BuMNsVCZ0ibYiLQ7mdQfn4UYVmu3484TwcdEc/0V3
 a4+A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to;
 bh=nWmdD18GFIBDKfPE/qP+lxJzQXsces4lEdW6qa/UyQQ=;
 b=f+uS+U8OikAmN74mqbq6pmJcQ7G7LyVvYK4SUa0dfvan/k5nxlZU9wWtW2bK81Xnf/
 tGDBQyt8iwoX3rTknQr0bZ3Hn/suJMF3u/33jCrscHSknR+IUL4FYt4YnWgfjgt/x6sZ
 GTWW/5wBEaGPtPDga3x6AJzvkmZ4FFPM4uh6O+jnIhhN2tgXRe9qF4cQ/L/38O1fV/Mm
 eMjcgCxT7i+Pz/vU3TXWobgfVqKh07A062GYxAxsdn2VhbijpnOQ4ZMM0tpC8iKrnIW6
 V8tFu9RPGsTXwhI/0EbeNAZsOocRLG6KzoVHI9wSujYMdyQg0gxpRvq5wcvHrHGxcdox
 T0xA==
X-Gm-Message-State: AOAM530HgYXrfTwFr/9bLsNMIV5/wberT7BpB4ETbQvTCUdACKaObuFe
 6B+mWkerNELDm0MCTNqWkflnHW685rtSueHePEiOa8KsHbA=
X-Google-Smtp-Source: ABdhPJwp6sMY7pwsuklHn/MURc5a33YMI5VaaaiGJvM5C2AjWQ6uppuMNxpBV6t9OO4IlVR1J5rr8ESCbs8/WFVHIgE=
X-Received: by 2002:a05:600c:203:: with SMTP id
 3mr1673774wmi.108.1598886118930; 
 Mon, 31 Aug 2020 08:01:58 -0700 (PDT)
In-Reply-To: <C5A40C65-4C10-46C4-85D0-072EBB01BC07@telia.com>
X-BeenThere: ntg-context@ntg.nl
X-Mailman-Version: 2.1.26
Precedence: list
List-Id: mailing list for ConTeXt users <ntg-context.ntg.nl>
List-Unsubscribe: <https://mailman.ntg.nl/mailman/options/ntg-context>,
 <mailto:ntg-context-request@ntg.nl?subject=unsubscribe>
List-Archive: <http://mailman.ntg.nl/pipermail/ntg-context/>
List-Post: <mailto:ntg-context@ntg.nl>
List-Help: <mailto:ntg-context-request@ntg.nl?subject=help>
List-Subscribe: <https://mailman.ntg.nl/mailman/listinfo/ntg-context>,
 <mailto:ntg-context-request@ntg.nl?subject=subscribe>
Errors-To: ntg-context-bounces@ntg.nl
Original-Sender: "ntg-context" <ntg-context-bounces@ntg.nl>
Xref: news.gmane.io gmane.comp.tex.context:108545
Archived-At: <http://permalink.gmane.org/gmane.comp.tex.context/108545>

--===============5389153059130368227==
Content-Type: multipart/alternative; boundary="00000000000027bb2305ae2daf54"

--00000000000027bb2305ae2daf54
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi Hans,
Thank you for the clarification
Fabrice

Le dim. 30 ao=C3=BBt 2020 =C3=A0 17:56, Hans =C3=85berg <haberg-1@telia.com=
> a =C3=A9crit :

>
> > On 30 Aug 2020, at 11:40, Fabrice Couvreur <fabrice1.couvreur@gmail.com=
>
> wrote:
> >
> > @Hans My ignorance is total : how to write symbols from the keyboard ?
>
> I use text substitutions on MacOS: a sequence of characters can be
> automatically translated into another. So for example, ".subset" might
> translate into "=E2=8A=82" as you type along. To find the =E2=8A=82 the f=
irst time, there
> is a Unicode symbol table. Other platforms and editors have similar
> features. There are other ways, but I have found this easiest and fastest
> both to create and use.
>
>
>
> _________________________________________________________________________=
__________
> If your question is of interest to others as well, please add an entry to
> the Wiki!
>
> maillist : ntg-context@ntg.nl /
> http://www.ntg.nl/mailman/listinfo/ntg-context
> webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> wiki     : http://contextgarden.net
>
> _________________________________________________________________________=
__________
>

--00000000000027bb2305ae2daf54
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:verdana,=
sans-serif">Hi Hans,<br></div><div class=3D"gmail_default" style=3D"font-fa=
mily:verdana,sans-serif"><div class=3D"gmail-text-wrap gmail-tlid-copy-targ=
et"><div class=3D"gmail-result-shield-container gmail-tlid-copy-target" tab=
index=3D"0"><span class=3D"gmail-tlid-translation gmail-translation" lang=
=3D"en"><span title=3D"" class=3D"gmail-">Thank you for the clarification</=
span></span><span class=3D"gmail-tlid-translation-gender-indicator gmail-tr=
anslation-gender-indicator"></span><span class=3D"gmail-tlid-trans-verified=
-button gmail-trans-verified-button"></span></div></div></div><div class=3D=
"gmail_default" style=3D"font-family:verdana,sans-serif">Fabrice<br></div><=
/div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">L=
e=C2=A0dim. 30 ao=C3=BBt 2020 =C3=A0=C2=A017:56, Hans =C3=85berg &lt;<a hre=
f=3D"mailto:haberg-1@telia.com">haberg-1@telia.com</a>&gt; a =C3=A9crit=C2=
=A0:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px=
 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
&gt; On 30 Aug 2020, at 11:40, Fabrice Couvreur &lt;<a href=3D"mailto:fabri=
ce1.couvreur@gmail.com" target=3D"_blank">fabrice1.couvreur@gmail.com</a>&g=
t; wrote:<br>
&gt; <br>
&gt; @Hans My ignorance is total : how to write symbols from the keyboard ?=
<br>
<br>
I use text substitutions on MacOS: a sequence of characters can be automati=
cally translated into another. So for example, &quot;.subset&quot; might tr=
anslate into &quot;=E2=8A=82&quot; as you type along. To find the =E2=8A=82=
 the first time, there is a Unicode symbol table. Other platforms and edito=
rs have similar features. There are other ways, but I have found this easie=
st and fastest both to create and use.<br>
<br>
<br>
___________________________________________________________________________=
________<br>
If your question is of interest to others as well, please add an entry to t=
he Wiki!<br>
<br>
maillist : <a href=3D"mailto:ntg-context@ntg.nl" target=3D"_blank">ntg-cont=
ext@ntg.nl</a> / <a href=3D"http://www.ntg.nl/mailman/listinfo/ntg-context"=
 rel=3D"noreferrer" target=3D"_blank">http://www.ntg.nl/mailman/listinfo/nt=
g-context</a><br>
webpage=C2=A0 : <a href=3D"http://www.pragma-ade.nl" rel=3D"noreferrer" tar=
get=3D"_blank">http://www.pragma-ade.nl</a> / <a href=3D"http://context.aan=
het.net" rel=3D"noreferrer" target=3D"_blank">http://context.aanhet.net</a>=
<br>
archive=C2=A0 : <a href=3D"https://bitbucket.org/phg/context-mirror/commits=
/" rel=3D"noreferrer" target=3D"_blank">https://bitbucket.org/phg/context-m=
irror/commits/</a><br>
wiki=C2=A0 =C2=A0 =C2=A0: <a href=3D"http://contextgarden.net" rel=3D"noref=
errer" target=3D"_blank">http://contextgarden.net</a><br>
___________________________________________________________________________=
________<br>
</blockquote></div>

--00000000000027bb2305ae2daf54--

--===============5389153059130368227==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVz
dCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBlbnRyeSB0byB0aGUgV2lraSEKCm1h
aWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9s
aXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAv
IGh0dHA6Ly9jb250ZXh0LmFhbmhldC5uZXQKYXJjaGl2ZSAgOiBodHRwczovL2JpdGJ1Y2tldC5v
cmcvcGhnL2NvbnRleHQtbWlycm9yL2NvbW1pdHMvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRn
YXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCg==

--===============5389153059130368227==--