From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/109278
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Sylvain Hubert <champignoom@gmail.com>
Newsgroups: gmane.comp.tex.context
Subject: Re: math symbol for "is an element of"
Date: Fri, 6 Nov 2020 18:40:50 +0100
Message-ID: <CACNy3NAp1Fjuph7UbdQPyeiqB4UnCGAF-DRR_8tUgft7DeUung@mail.gmail.com>
References: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.com>
Reply-To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="===============1851663428355333971=="
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="7291"; 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 Fri Nov 06 18:41:23 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 1kb5jn-0001ou-AD
	for gctc-ntg-context-518@m.gmane-mx.org; Fri, 06 Nov 2020 18:41:23 +0100
Original-Received: from localhost (localhost [127.0.0.1])
	by zapf.ntg.nl (Postfix) with ESMTP id BF64E1A9EBE;
	Fri,  6 Nov 2020 18:41:08 +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 71ooJr6hbgBE; Fri,  6 Nov 2020 18:41:07 +0100 (CET)
Original-Received: from zapf.ntg.nl (localhost [127.0.0.1])
	by zapf.ntg.nl (Postfix) with ESMTP id 23A811A9ECC;
	Fri,  6 Nov 2020 18:41:07 +0100 (CET)
Original-Received: from localhost (localhost [127.0.0.1])
 by zapf.ntg.nl (Postfix) with ESMTP id 1627C1A9EB8
 for <ntg-context@ntg.nl>; Fri,  6 Nov 2020 18:41: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 x4e7q4Lt6Y0G for <ntg-context@ntg.nl>;
 Fri,  6 Nov 2020 18:41:04 +0100 (CET)
Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=209.85.166.53;
 helo=mail-io1-f53.google.com; envelope-from=champignoom@gmail.com;
 receiver=<UNKNOWN> 
Original-Received: from mail-io1-f53.google.com (mail-io1-f53.google.com
 [209.85.166.53])
 (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 EAFB41A9E86
 for <ntg-context@ntg.nl>; Fri,  6 Nov 2020 18:41:03 +0100 (CET)
Original-Received: by mail-io1-f53.google.com with SMTP id s10so2315411ioe.1
 for <ntg-context@ntg.nl>; Fri, 06 Nov 2020 09:41:03 -0800 (PST)
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=iDsllrFJm6t2Iik6l5GUQaTAx5QLo9xdywjBRAhEI4U=;
 b=UqkdGXTeElWPzfh125Ii4HlVUfZcV9XpmDNC2/jroVIIPuh3sFrGYKbmP8x4EOXwu6
 88/0iZmrK8rwFZrxDSNQ0+1TJNQMXoO+ZfZ1uFvr23GeUmm0ACCjbj7sPzMXt1R5IGey
 VYlDfflGKir+6Os8QNegLz/kj+RhQzlGszAhhkRXN+Jlhnb/7uUC8Tqi7m9KBdaI3Msh
 293luNdk3jxj+ffGL5VKDzGkNvW37Rb7PId5DmbSKRBeh5j/jQZENdVLjoUmRd0Ma9Hy
 7NG3XTEtt0COlN+9+fvb4zrTQ7g24y1mOaltSsSsNdEBZ/stfXICyl7Ps8IBHYQAwi5Q
 YdhQ==
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=iDsllrFJm6t2Iik6l5GUQaTAx5QLo9xdywjBRAhEI4U=;
 b=YhCGwfK9/4foBGzhNqSSfnaAtzaQGTlxuSRGDwiqPnpmjjH+vq3Zri8wPIMBcLAaRy
 F2b17bqYK9NnxneaU1xqMmzcvGAMrRD0W1jb0o9ja/60HK8u1fKTtCoNTrCvAsFkk4Pl
 rLtbiumw3TeflrpfSvJMBrHze2dnuiDzbw9/JBTD0wp6XD6TCILNAOoqbXTKIsf/pXg/
 b/f1ekPCodk4jybVMaZAPtwYFCjWYaPLLR+hxnpg+yg+aCrmQ2HFJpj1LwcyZMXfoqR2
 3yFexZAmrh1T2fvFPxjHQJgRBHo+1BgYXnHtkTf/q9XPa6KL18XziF7plI1lH/Pws6H6
 R9sg==
X-Gm-Message-State: AOAM5329wXhTm8R1UsCmaJRT+3Uqca2KK3ZDLfbZTqk0fQTcEig9SyFV
 k3kUDfZ9gYTF5+l916b0Fj5wNfB/PlqipHiiOsArSIHJHgU=
X-Google-Smtp-Source: ABdhPJxKos+odiBWZly77wW9f/sPY1Fr9TTE03CrdL5R0cKR3oC5LR09NYzH1gspoHZ2tPbwnx+TDQGAqFofSF7vSpo=
X-Received: by 2002:a05:6602:242e:: with SMTP id
 g14mr2297568iob.65.1604684461899; 
 Fri, 06 Nov 2020 09:41:01 -0800 (PST)
In-Reply-To: <000001d6b3b1$6d73b090$485b11b0$@projectivespace.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:109278
Archived-At: <http://permalink.gmane.org/gmane.comp.tex.context/109278>

--===============1851663428355333971==
Content-Type: multipart/alternative; boundary="00000000000054056a05b373b7f9"

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

If you happen to use ibus on a linux, there's a emoji/unicode picker
<https://mike-fabian.github.io/ibus-typing-booster/documentation.html#emoji=
-predictions>,
where you can type `<ctrl+shift+e>elem<space>` and pick one from the
candidates =E2=80=9C=E2=88=88=E2=88=89=E2=88=8A=E2=8B=B2=E2=8B=B3=E2=8B=B4=
=E2=8B=B5=E2=8B=B6=E2=8B=B7=E2=8B=B8=E2=8B=B9=E2=9F=92=E2=AB=99=E2=80=9D .

On Thu, 5 Nov 2020 at 21:25, <type@projectivespace.com> wrote:

> A quick question for the ConTeXt mailing list:
>
> Other than typing it directly (or cutting and pasting it), how does one g=
et
> the character =E2=88=88 (in case this gets garbled in emailing, this is s=
upposed to
> be the mathematical symbol that looks more or less like an epsilon, and
> which is the mathematical symbol for "is an element of" a set).
>
> \showmathfontcharacters gives the following information about it:
>
> U+02208: =E2=88=88 =E2=88=88 element of
> width: 524262, height: 426798, depth: 33798, italic: 0
> mathclass: relation, mathname: in
>
> I'm not completely sure how to read this information, but if I read it
> correctly, perhaps this character should be gotten with \in. Also, the
> Basic
> Math page of the Wiki (https://wiki.contextgarden.net/Math/basic) states
> that you should be able to type this character with "\in". But that doesn=
't
> work (even inside a formula), since \in is used for references in ConTeXt=
.
> And in fact the link on the Basic Math page for \in takes you to the
> explanation of \in as used for ConTeXt references.
>
> This is a very common character in mathematics, so I wanted to ask: what =
is
> the recommended way to type this character? (I'm hoping to avoid having t=
o
> cut and paste the character into the document every time I want to use it=
.
> And I don't have a utf enabled keyboard that would allow me to type this
> symbol readily from the keyboard.)
>
> Thanks in advance,
>
>
> Sciurus
>
>
>
>
> _________________________________________________________________________=
__________
> 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
>
> _________________________________________________________________________=
__________
>

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

<div dir=3D"ltr">If you happen to use ibus on a linux, there&#39;s a <a hre=
f=3D"https://mike-fabian.github.io/ibus-typing-booster/documentation.html#e=
moji-predictions">emoji/unicode picker</a>, where you can type `&lt;ctrl+sh=
ift+e&gt;elem&lt;space&gt;` and pick one from the candidates =E2=80=9C=E2=
=88=88=E2=88=89=E2=88=8A=E2=8B=B2=E2=8B=B3=E2=8B=B4=E2=8B=B5=E2=8B=B6=E2=8B=
=B7=E2=8B=B8=E2=8B=B9=E2=9F=92=E2=AB=99=E2=80=9D .<br></div><br><div class=
=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Thu, 5 Nov 2020 a=
t 21:25, &lt;<a href=3D"mailto:type@projectivespace.com">type@projectivespa=
ce.com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"m=
argin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left=
:1ex">A quick question for the ConTeXt mailing list:<br>
<br>
Other than typing it directly (or cutting and pasting it), how does one get=
<br>
the character =E2=88=88 (in case this gets garbled in emailing, this is sup=
posed to<br>
be the mathematical symbol that looks more or less like an epsilon, and<br>
which is the mathematical symbol for &quot;is an element of&quot; a set).<b=
r>
<br>
\showmathfontcharacters gives the following information about it:<br>
<br>
U+02208: =E2=88=88 =E2=88=88 element of<br>
width: 524262, height: 426798, depth: 33798, italic: 0<br>
mathclass: relation, mathname: in<br>
<br>
I&#39;m not completely sure how to read this information, but if I read it<=
br>
correctly, perhaps this character should be gotten with \in. Also, the Basi=
c<br>
Math page of the Wiki (<a href=3D"https://wiki.contextgarden.net/Math/basic=
" rel=3D"noreferrer" target=3D"_blank">https://wiki.contextgarden.net/Math/=
basic</a>) states<br>
that you should be able to type this character with &quot;\in&quot;. But th=
at doesn&#39;t<br>
work (even inside a formula), since \in is used for references in ConTeXt.<=
br>
And in fact the link on the Basic Math page for \in takes you to the<br>
explanation of \in as used for ConTeXt references.<br>
<br>
This is a very common character in mathematics, so I wanted to ask: what is=
<br>
the recommended way to type this character? (I&#39;m hoping to avoid having=
 to<br>
cut and paste the character into the document every time I want to use it.<=
br>
And I don&#39;t have a utf enabled keyboard that would allow me to type thi=
s<br>
symbol readily from the keyboard.)<br>
<br>
Thanks in advance,<br>
<br>
<br>
Sciurus<br>
<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>

--00000000000054056a05b373b7f9--

--===============1851663428355333971==
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==

--===============1851663428355333971==--