This is a first approximation:
\documentclass{article}
\newcommand{\ineq}{%
\mathrel{\mkern1mu\underline{\mkern-1mu\in\mkern-1mu}\mkern1mu}}
\begin{document}
$\alpha\ineq\beta$
\end{document}

This automatically changes size in subscripts.
You may prefer a solution with a roundcap bar below the main symbol:
\documentclass{article}
\usepackage{amsmath}
\makeatletter
\newcommand{\ineq}{\mathrel{\text{\in@eq}}}
\newcommand{\in@eq}{%
\oalign{%
\hidewidth
\hidewidth\cr
\noalign{\nointerlineskip\kern1ex}%
\cr
\noalign{\nointerlineskip\kern-.5ex}%
}%
}
\makeatother
\begin{document}
$\alpha\ineq\beta_{\ineq}$
\end{document}

Element of or Equal To Symbol - TeX - LaTeX Stack Exchange
symbols - Latex "element of with two strokes" (⋹) - TeX - LaTeX Stack Exchange
How to do Mathematics symbols in LaTeX?
"not in" symbol?? - LaTeX.org
This is a first approximation:
\documentclass{article}
\newcommand{\ineq}{%
\mathrel{\mkern1mu\underline{\mkern-1mu\in\mkern-1mu}\mkern1mu}}
\begin{document}
$\alpha\ineq\beta$
\end{document}

This automatically changes size in subscripts.
You may prefer a solution with a roundcap bar below the main symbol:
\documentclass{article}
\usepackage{amsmath}
\makeatletter
\newcommand{\ineq}{\mathrel{\text{\in@eq}}}
\newcommand{\in@eq}{%
\oalign{%
\hidewidth
\hidewidth\cr
\noalign{\nointerlineskip\kern1ex}%
\cr
\noalign{\nointerlineskip\kern-.5ex}%
}%
}
\makeatother
\begin{document}
$\alpha\ineq\beta_{\ineq}$
\end{document}

The character ⋸ is the Unicode character U+2278, see Barbara Beeton's comment.
I found two math fonts, which contains the charactes:
- Asana Math
- XITS Math
They can be used with XeTeX or LuaTeX. With package unicode-math, the command
is \isinvb, or the character can be given directly as UTF-8 character or
the ^^^^-escape notation can be used: ^^^^22F8.
The following example shows:
- The direct glyphs (only Asana Math and XITS Math).
- The macros
\isinvbAand\isinvbB.- They compose the symbol
with ∈ (
\in) and the minus sign. If the minus sign is too long (Latin Modern Fonts), then it is scaled horizontally to fit the symbol ∈. - The gap is estimated by the middle of ten percent of the height of ∈ and 150% of the line thickness of the minus sign.
- Rounded line caps are kept (but subjected to the horizontal scaling in case of Latin Modern).
- Asana Math centers the complete symbol around the math axis.
This is implemented by
\isinvbAby using\vcenter. - XITS Math keeps the symbol
inand adds the line under it. This is implemented by\isinvbBby using\vtop.
- They compose the symbol
with ∈ (
- The symbols can be used in all math styles.
Example and test file:
\tracinglostchars=2
\documentclass{article}
\usepackage{unicode-math}
\newcommand*{\teststring}{%
\fbox{$\isinvb$}% U+22F8
}
\usepackage{graphicx}
\makeatletter
\newcommand*{\isinvbA}{%
\mathrel{%
\mathpalette\@isinvb@\vcenter
}%
}
\newcommand*{\isinvbB}{%
\mathrel{%
\mathpalette\@isinvb@\vtop
}%
}
\newcommand*{\@isinvb@}[2]{%
% #1: math style
% #2: \vcenter or \vtop
#2{%
\sbox0{$#1\in\m@th$}%
\copy0 %
\sbox2{$#1-\m@th$}%
\sbox4{$#1\vcenter{}$}%
\dimen@=\dimexpr\ht2-\ht4\relax
\sbox2{\lower\dimexpr\ht4-\dimen@\relax\hbox{\unhcopy2}}%
\dp2=\z@
\kern.5\dimexpr3\dimen@ + .1\ht0\relax
\ifdim\wd2>\wd0 %
\hbox to \wd0{\hss\resizebox{\wd0}{\ht2}{\copy2}}%
\else
\hbox to \wd0{\hss\copy2}%
\fi
}%
}
\makeatother
\begin{document}
\setlength{\fboxsep}{0pt}
\setlength{\fboxrule}{.1pt}
\newcommand*{\test}[1]{%
\fontfamily{lmvtt}\tiny #1 &
\setmathfont{#1.otf}$\teststring$
&
\setmathfont{#1.otf}
&
\setmathfont{#1.otf}%
\fbox{$\isinvbA$}$^{\isinvbA^{\isinvbA}}$%
&
\setmathfont{#1.otf}%
\fbox{$\isinvbB$}$^{\isinvbB^{\isinvbB}}$%
\\
}
\begin{tabular}{@{}l@{ }l@{ }l@{\quad}l@{ }l@{}}
\test{Asana-Math}
\test{xits-math}
\test{latinmodern-math}
\test{texgyretermes-math}
\test{texgyrepagella-math}
\test{texgyrebonum-math}
\test{texgyreschola-math}
\end{tabular}
\end{document}
Remarks:
\tracinglostchar=2is quite important, because then TeX will report characters, which are not present in the used fonts, e.g.:Missing character: There is no ⋸ (U+22F8) in font "[texgyrebonum-math.otf]:mode=base;script=math;language=DFLT;"!Macros
\isinvbAand\isinvbBdo not depend on LuaTeX or XeTeX, they can also be used with pdflatex or latex.- The
\fboxcommands show the bounding boxes.
Here's one option using \ooalign:
\documentclass{article}
\usepackage{graphicx}
\usepackage{amsmath}
\newcommand\Inn{%
\mathrel{\ooalign{
\cr\hfil\scalebox{0.8}[1]{
}\hfil\cr}}%
}
\begin{document}
\[
A\in B
\]
\[
A\Inn B
\]
\end{document}
The result:

And if you need it for the different math styles:
\documentclass{article}
\usepackage{graphicx}
\usepackage{amsmath}
\newcommand\Inn{%
\mathrel{\mathchoice
{\ooalign{
\cr\hfil\scalebox{0.8}[1]{
}\hfil\cr}}%
{\ooalign{
\cr\hfil\scalebox{0.8}[1]{
}\hfil\cr}}%
{\ooalign{
\cr\hfil\scalebox{0.8}[1]{
}\hfil\cr}}%
{\ooalign{
\cr\hfil\scalebox{0.8}[1]{
}\hfil\cr}}%
}%
}
\begin{document}
\[
A\in B\quad{\textstyle A\in B}\quad L_{A\in B}\quad M_{L_{A\in B}}
\]
\[
A\Inn B\quad{\textstyle A\Inn B}\quad L_{A\Inn B}\quad M_{L_{A\Inn B}}
\]
\end{document}

It's Unicode symbol U+22F9 "Element of with two horizontal strokes": ⋹.
When LuaTeX or XeTeX is used, then the symbol is available with the following fonts:
Asana Math
\documentclass{article} \usepackage{unicode-math} \setmathfont{Asana-Math.otf} \begin{document} \[ A \isinE B \] \end{document}
XITS Math
\setmathfont{xits-math.otf}
The Latin Modern Math or TeX Gyre Math fonts do not have the symbol.
I'm trying to get some bonus points on my homework for a proof writing class by writing my math homework in LaTeX. I've never used it before, so I am trying to figure it out, but there are a few symbols I've struggled to make. I looked up that "is an element of" is \in but it's not working for me as well as Galois Field symbol trying \mathbb{F}. Any tips?
