寻找不相交的符号

Question

有人知道如何制作这个符号吗？Detexify 帮不上忙。

| 哦

垂直线以“o”为中心，从“o”的顶部开始。

Answer 1

这是你想要的吗？

\documentclass{article}
\usepackage{amsmath,pict2e}

\makeatletter
\newcommand{\disjoint}{}% for safety
\DeclareRobustCommand{\disjoint}{%
  \mathrel{%
    \mathpalette\disjoint@\relax
  }%
}

\newcommand{\disjoint@}[2]{%
  \begingroup
  \setlength{\unitlength}{\disjoint@height{#1}}%
  \begin{picture}(1.4,2)
  \roundcap
  \linethickness{\disjoint@thickness{#1}}
  \put(0.7,0.5){\circle{1}}
  \Line(0.7,1)(0.7,2)
  \end{picture}%
  \endgroup
}
\newcommand{\disjoint@height}[1]{%
  0.8\fontdimen5
  \ifx#1\displaystyle\textfont\else
  \ifx#1\textstyle\textfont\else
  \ifx#1\scriptstyle\scriptfont\else
  \scriptscriptfont\fi\fi\fi 3
}
\newcommand{\disjoint@thickness}[1]{%
  \fontdimen8
  \ifx#1\displaystyle\textfont\else
  \ifx#1\textstyle\textfont\else
  \ifx#1\scriptstyle\scriptfont\else
  \scriptscriptfont\fi\fi\fi 3
}
\makeatother

\begin{document}

\fboxsep=0pt\fbox{$\disjoint$}

$A\disjoint B$ 
$\scriptstyle A\disjoint B$
$\scriptscriptstyle A\disjoint B$

\end{document}

Answer 2

正如@Noone指出的那样，有一个类似的unicode字符（U + 2AF0）。与大多数unicode字符一样，它包含在STIX字体中。无需加载整个字体即可访问它，如以下示例所示。

\documentclass{article}
\DeclareFontEncoding{LS1}{}{}
\DeclareFontSubstitution{LS1}{stix}{m}{n}
\DeclareSymbolFont{symbols4}{LS1}{stixbb}{m}{it}
\DeclareMathSymbol{\midcir}{\mathrel}{symbols4}{"BE}
\begin{document}
\( \midcir \)
\end{document}

Answer 3

下方有一个带圆圈的垂直线 (U+2AF0) Unicode 字符，您可以通过 XeLaTeX 或 LuaLaTeX 使用适当的字体来访问它：

\documentclass{standalone}
\usepackage{unicode-math}
\setmathfont{XITS Math}
\begin{document}
$⫰$ {\Large $⫰$} {\Huge $⫰$}
\end{document}

Answer 4

使用\multimap符号...使用包进行旋转scalerel。

\documentclass[12pt]{article}
\usepackage{amsmath,amssymb}
\usepackage{graphicx}
\newcommand{\circmap}{\raisebox{.7\depth}{$\rotmap$}}
\newcommand{\rotmap}{\rotatebox[origin=c]{-90}{$\multimap$}}
\usepackage{scalerel}
\usepackage{parskip}

\begin{document}
Euler's formula is remarkable: $e^{i\pi} + 1 = 0$.

But if I have two sets with $A \mathbin{\scaleobj{.7}{\circmap}} B$ we can write $A_{\scalebox{.5}{$\scriptscriptstyle \circmap$}}^{\scalebox{.5}{$\scriptscriptstyle \circmap$}}$

\end{document}

或者另一种方法是使用fontawesome5命令\faNeuter。

\documentclass[12pt]{article}
\usepackage{amsmath,amssymb}
\usepackage{fontawesome5}
\usepackage{graphicx}
\newcommand{\circmap}{\raisebox{.6\depth}{$\rotmap$}}
\newcommand{\rotmap}{\rotatebox[origin=c]{180}{\faNeuter}}
\usepackage{scalerel}

\begin{document}
Le be $\circmap$ a map: we define
\[\circmap \colon A \to B\] 
if 
\[A_{\scalebox{.5}{$\scriptscriptstyle \circmap$}}B\]

\end{document}