math symbol for "is an element of"

math symbol for "is an element of"

[type]

A quick question for the ConTeXt mailing list:

Other than typing it directly (or cutting and pasting it), how does one get
the character ∈ (in case this gets garbled in emailing, this is supposed 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: ∈ ∈ 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 to
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[Wolfgang Schuster]

type@projectivespace.com schrieb am 05.11.2020 um 21:22:
> A quick question for the ConTeXt mailing list:
> 
> Other than typing it directly (or cutting and pasting it), how does one get
> the character ∈ (in case this gets garbled in emailing, this is supposed 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: ∈ ∈ 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 to
> 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.)

Do you have a example where \in fails?

\starttext

\m {A \in B}

\startformula
A \in B
\stopformula

\stoptext

Wolfgang
___________________________________________________________________________________
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[Hans Åberg]

> On 5 Nov 2020, at 21:22, type@projectivespace.com wrote:
> 
> Other than typing it directly (or cutting and pasting it), how does one get
> the character ∈ (in case this gets garbled in emailing, this is supposed 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).
…
> 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 to
> 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.)

There is no recommended way. One can have it in the input sources. The quickest way to both design and use I have found is text substitutions [1]. For the mathematical styles, TeX and Unicode do it differently, and ConTeXt follows the former unless one uses a command, see [2].

1. https://mailman.ntg.nl/pipermail/ntg-context/2020/099278.html
2. https://mailman.ntg.nl/pipermail/ntg-context/2020/099880.html


___________________________________________________________________________________
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[type]

My sincere apologies. I tried to do my homework to avoid wasting everybody else's time with a silly question, but apparently I did not do so adequately. You're quite right -- it works with no problem. It was something else nearby that was causing my minimal example (apparently not minimal enough) to fail.

That being said, the link to "\in" on the Math Basics page does point to the wrong place (the "\in" command used for references). I'll go correct that as my penance for asking such a ridiculous question.

Thanks, and again my apologies,


Sciurus

-----Original Message-----
From: Wolfgang Schuster <wolfgang.schuster.lists@gmail.com> 
Sent: Thursday, November 5, 2020 12:36 PM
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Cc: type@projectivespace.com
Subject: Re: [NTG-context] math symbol for "is an element of"

type@projectivespace.com schrieb am 05.11.2020 um 21:22:
> A quick question for the ConTeXt mailing list:
> 
> Other than typing it directly (or cutting and pasting it), how does one get
> the character ∈ (in case this gets garbled in emailing, this is supposed 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: ∈ ∈ 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 to
> 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.)

Do you have a example where \in fails?

\starttext

\m {A \in B}

\startformula
A \in B
\stopformula

\stoptext

Wolfgang

___________________________________________________________________________________
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[type]

Thank you, Hans! The links you gave me provide me with another useful tool in my toolbox (which I had not been aware of before).

In this particular case, as Wolfgang pointed out, \in actually does work to get the desired symbol in math mode. But it is good to know how to use text substitutions too.

Thanks,


Sciurus

-----Original Message-----
From: ntg-context <ntg-context-bounces@ntg.nl> On Behalf Of Hans Åberg
Sent: Thursday, November 5, 2020 12:44 PM
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Subject: Re: [NTG-context] math symbol for "is an element of"


> On 5 Nov 2020, at 21:22, type@projectivespace.com wrote:
> 
> Other than typing it directly (or cutting and pasting it), how does one get
> the character ∈ (in case this gets garbled in emailing, this is supposed 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).
…
> 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 to
> 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.)

There is no recommended way. One can have it in the input sources. The quickest way to both design and use I have found is text substitutions [1]. For the mathematical styles, TeX and Unicode do it differently, and ConTeXt follows the former unless one uses a command, see [2].

1. https://mailman.ntg.nl/pipermail/ntg-context/2020/099278.html
2. https://mailman.ntg.nl/pipermail/ntg-context/2020/099880.html


___________________________________________________________________________________
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
___________________________________________________________________________________

___________________________________________________________________________________
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[Hans Hagen]

On 11/6/2020 12:24 AM, type@projectivespace.com wrote:

> In this particular case, as Wolfgang pointed out, \in actually does work to get the desired symbol in math mode. But it is good to know how to use text substitutions too.
WHen you are in doubt you can do this:

\meaning\in

it will show you that the commands is adapting itself to math mode. 
There are a few such commands with 'clashing' names.

A variant on this is \NC which is the column separator but has a 
different meaning depending on where it's used. That one gets set to 
some meaning in environments.

Another overloaded one is \\ and it could be a space or newline or ...

Actually the last two are candidates for protectiopn against overload.

btw, users can run context with

--overloadmode=warning
--overloadmode=error

to see if their usage of commands or definitions bring conflicts. 
Currently \in is not yet protected against overload but it will be.

Hans



-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
        tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[type]

Thank you for your extremely thorough and helpful response, Hans! I'm still fairly new to ConTeXt, but I'm learning, and I have been helped greatly by all the support that is generously provided on this email list.

With thanks,


Sciurus

-----Original Message-----
From: Hans Hagen <j.hagen@xs4all.nl> 
Sent: Friday, November 6, 2020 12:10 AM
To: mailing list for ConTeXt users <ntg-context@ntg.nl>; type@projectivespace.com
Subject: Re: [NTG-context] math symbol for "is an element of"

On 11/6/2020 12:24 AM, type@projectivespace.com wrote:

> In this particular case, as Wolfgang pointed out, \in actually does work to get the desired symbol in math mode. But it is good to know how to use text substitutions too.
WHen you are in doubt you can do this:

\meaning\in

it will show you that the commands is adapting itself to math mode. 
There are a few such commands with 'clashing' names.

A variant on this is \NC which is the column separator but has a 
different meaning depending on where it's used. That one gets set to 
some meaning in environments.

Another overloaded one is \\ and it could be a space or newline or ...

Actually the last two are candidates for protectiopn against overload.

btw, users can run context with

--overloadmode=warning
--overloadmode=error

to see if their usage of commands or definitions bring conflicts. 
Currently \in is not yet protected against overload but it will be.

Hans



-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
        tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-----------------------------------------------------------------

___________________________________________________________________________________
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
___________________________________________________________________________________

Re: math symbol for "is an element of"

[Sylvain Hubert]

[-- Attachment #1.1: Type: text/plain, Size: 2368 bytes --]

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 “∈∉∊⋲⋳⋴⋵⋶⋷⋸⋹⟒⫙” .

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 get
> the character ∈ (in case this gets garbled in emailing, this is supposed 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: ∈ ∈ 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 to
> 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
>
> ___________________________________________________________________________________
>

[-- Attachment #1.2: Type: text/html, Size: 3349 bytes --]

[-- Attachment #2: Type: text/plain, Size: 493 bytes --]

___________________________________________________________________________________
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
___________________________________________________________________________________