TeX 中是否存在 \models 符号的镜像？

Question

我尝试过 detexify，但它无法识别我在赫伯特·恩德顿 (Herbert Enderton) 著的教科书“逻辑的数学导论”中看到的符号。

该符号由两部分组成，左侧为\模型，右侧为其镜像，代表书中的同义反复。

我正在寻找右手符号，以便我可以创建符号，或者组合符号。

Answer 1

看综合符号列表。 例子：

Mn符号

\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
$\rightmodels\leftmodels$
\end{document}

数学

\documentclass{article}
\usepackage{mathabx}
\begin{document}
$\vDash\Dashv$
\end{document}

使用 LaTeX 进行符号组合

参见 Enrico Gregorio 的评论。LaTeX 中的 定义\models将一条垂直线|与双水平线连接起来\RelBar。

\documentclass{article}

\DeclareRobustCommand*{\tautequiv}{%
  \mathrel{|}\joinrel\Relbar
  \Relbar\joinrel\mathrel{|}%
}

\begin{document}
\[ \tautequiv^{\tautequiv^{\tautequiv}} \]
\end{document}

\reflectbox

如果当前的数学字体不提供镜像\models，那么包graphics 可以提供帮助：

\documentclass{article}
\usepackage{graphicx}

\newcommand*{\tautequiv}{%
  \models\mirrormodels
}
\makeatletter
\newcommand*{\mirrormodels}{%
  \mathrel{%
    \mathpalette\reflectmathsymbol\models
  }%
}
\newcommand*{\reflectmathsymbol}[2]{%
  \reflectbox{$\m@th#1#2$}%
}
\makeatother

\begin{document}
\[ \tautequiv^{\tautequiv^{\tautequiv}} \]
\end{document}

包裹accsupp

PDF 格式的功能/ActualText改进了支持此功能的 PDF 查看器的复制和粘贴行为（例如 Adob​​e Reader）。示例：

\documentclass{article}

\usepackage{accsupp}

\DeclareRobustCommand*{\tautequiv}{%
  \BeginAccSupp{unicode,method=hex,ActualText=22A8 2AE4}%
    \mathrel{|}\joinrel\Relbar
    \Relbar\joinrel\mathrel{|}%
  \EndAccSupp{}%
}

\begin{document}
\[ \tautequiv^{\tautequiv^{\tautequiv}} \]
\end{document}