Rodin IDE 中的关系覆盖符号

Question

我正在寻找一种方法来编写以下关系覆盖符号。该符号在 Rodin IDE 中使用。

谢谢你！！！

Answer 1

我找到了答案！借助 chatGPT 并进行一些测试/修改，我现在正在使用足够接近的东西！我正在使用以下命令：

\usepackage{amsmath}
\newcommand{\override}{\mathrel{\lhd\mkern-8mu-}}

这将产生以下内容：

Answer 2

我会使用适当的关系符号。

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

\newcommand{\override}{%
  \vartriangleleft % a relation
  \mathrel{\mspace{-9mu}}% back up
  \relbar
}

\begin{document}

$r\override\{(a,3),(c,4)\}$

\end{document}

注意\lhd是二元运算符号，而不是关系。