\blacktriangleright 的一个版本，与 \triangleright 看起来相同

Question

请在投票结束前查看最后的注释。这不是链接问题的重复，并且那里的答案对这个问题没有帮助。

我正在寻找一个可以与 完美搭配的符号\triangleright，以表示相似但不同的关系。我以为包\blacktriangleright中的amssymb可以完成这项工作，但结果发现它的大小和形状与 不同\triangleright：

某个地方是否存在另一个看起来像\triangleright仅填充的符号？

或者，我很乐意接受其他建议，对\triangleright主题进行一些其他的变体，以用于暗示同一类型的另一种关系。

这是MWE：

\documentclass{article}
\usepackage{amssymb}
\begin{document}

$A\triangleright B$ vs. $A\blacktriangleright B$

\end{document}

---

关于所谓的重复：我承认这个问题Blacktriangleright 太大，带有 stix乍一看确实与我的类似。但是，这个问题是关于如何获取现有字形并将其缩放给定量。这对我来说没有帮助，因为\blacktriangleright不仅大于\triangleright，而且形状也不同。因此，如果我尝试通过缩放来解决我的问题，\blacktriangleright我最终会得到一个大小大致正确但比例错误的三角形，看起来会很糟糕。因此这个问题问的是另一回事，而且答案对我的问题没有帮助。这不是重复的。（抱歉，文字加粗，但即使我解释了这一点，投票结果仍然很接近。）

Answer 1

您可以调整大小\blacktriangleright来匹配\triangleright（通过较小的水平移动）。

在下面的代码中，我假设您想要的是关系符号，尽管它\triangleright被归类为操作符号。

\documentclass{article}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{xcolor}% just for the final comparison

\makeatletter
\newcommand{\tleft}{\mathrel\triangleleft}
\newcommand{\tright}{\mathrel\triangleright}
\DeclareRobustCommand{\btleft}{\mathrel{\mathpalette\btlr@\blacktriangleleft}}
\DeclareRobustCommand{\btright}{\mathrel{\mathpalette\btlr@\blacktriangleright}}

\newcommand{\btlr@}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1\triangleright$}%
  \sbox\tw@{\resizebox{1.1\wd\z@}{1.1\ht\z@}{\raisebox{\depth}{$\m@th#1\mkern-1mu#2$}}}%
  \ht\tw@=\ht\z@ \dp\tw@=\dp\z@ \wd\tw@=\wd\z@
  \copy\tw@
  \endgroup
}

\begin{document}

$A \tright B \btright C$ $A\tleft B\btleft C$

$A \btright B \tright C$ $A\btleft B\tleft C$

{\ooalign{$\tright$\cr\color{red}$\btright$\cr}}
{\ooalign{$\btright$\cr\color{red}$\tright$\cr}}

{\ooalign{$\scriptstyle\tright$\cr\color{red}$\scriptstyle\btright$\cr}}
{\ooalign{$\scriptstyle\btright$\cr\color{red}$\scriptstyle\tright$\cr}}


{\fboxsep=0pt \fboxrule=0.1pt \fbox{$\tright$} \fbox{$\btright$}}

\end{document}

与不同颜色的比较表明，叠加并不是非常完美，但差异非常小，当符号分开时并不明显。