[数学]三条向下的线表示相似性

Question

我正在寻找欧几里得数学中使用的相似性或相等性运算符。例如ABC ||| DFE。

我不知道它是否在我国学校外被使用，因为我在教科书之外找不到它的任何用途。

它基本上\equiv只是旋转了 90 度。

编辑：这专门是为了amsmath如果可能的话。

Answer 1

⦀ 是 U+2980 并且\Vvert位于 unicode-math 和 stix 包中，但您也可以使用|\,|\,|或其他空间来满足要求。

\documentclass{article}

\usepackage{amsmath}
\newcommand\myeq{\mathrel{|\mkern1mu|\mkern1mu|}}

\begin{document}


$ABC \myeq XYZ$
\end{document}

Answer 2

\parallel间距与使用时相同\mkern -1.2mu：

\documentclass{article}

\newcommand{\similar}{%
  \mathrel{|\mkern-1.2mu|\mkern-1.2mu|}%
}

\begin{document}

$ABC\similar DFE$

$ABC\parallel DFE$

\end{document}