寻找集合论中使用的特定符号，在 detexify 上找不到

Question

我正在寻找一个特定的符号来排版我的逻辑和集合论讲义。

该字符用于从两个现有集合 alpha 和 beta（序数）中定义一个新集合：

在上图中，\bot字符不是我想要的：我想要的是两条平行线，而不是一条垂直线。Detexify 找到了\coprod和\amalg（上下颠倒的产品标志），它们很接近，但理想情况下，我要寻找的符号应该是无衬线的。

换句话说，我想要一个符号，表示 表示什么\bot。不幸的是，我不知道这个符号代表的操作的名称，因此基于含义的谷歌搜索被排除了。\vDash\vdash

有人能帮我吗？非常感谢您的回答。

Answer 1

在里面综合列表( texdoc symbols) 可以找到接近您想要的东西，寻找\independent。这是一个修改后的版本：

\documentclass{article}

\makeatletter
\DeclareRobustCommand{\varamalg}{%
  \mathbin{\mathpalette\var@malg\perp}%
}

\newcommand\var@malg[2]{%
  \rlap{$\m@th#1#2$}\mkern6mu{#1#2}%
}
\makeatother

\begin{document}
\[
\alpha\varamalg\beta=\alpha\times\{0\}\cup\beta\times\{1\}
\]
\end{document}

进行调整\mkern6mu以适应。

Answer 2

我不确定您需要的确切方面，但以下不是\upmodels您\upVdash想要的吗？根据第一个符号的名称，它应该在模型理论中有用。这些来自mdsymbol（Myriad Pro 的数学符号），并且同样存在于MnSymbol（Minion Pro 的 mat 符号）。

Answer 3

另一个解决方案（-8mu根据您的需要调整）

\documentclass{article}
\usepackage{amsmath}

\newcommand{\dbot}{\mathbin{\text{$\bot\mkern-8mu\bot$}}}

\begin{document}

\[
\alpha\dbot\beta=\alpha\times\{0\}\cup\beta\times\{1\}
\]

\[
 A \dbot B_{A \dbot B_{A \dbot B}}
\]

\end{document}