集合论:如何排版域/范围减法(反限制)?

集合论:如何排版域/范围减法(反限制)?

我正在使用\triangleright\triangleleft排版限制,但我找不到减法符号,它们是相同的三角形,但中间有一条水平线。例如:

域减法

答案1

正如 koleygr 所提到的,该stix包中包含此符号。但是,包含该包会改变整个文档中数学的很多外观。

不同的选项是使用内置和命令来\ooalign叠加缩放。-\triangleright\triangleleft

在此处输入图片描述

\documentclass{article}
\usepackage{graphicx}

\newcommand{\rsubt}{\mathrel{%
    \ooalign{$\triangleright$\cr\hidewidth\scalebox{.65}[1]{$-$}\hidewidth\cr}%
    }}
\newcommand{\dsubt}{\mathrel{%
    \ooalign{$\triangleleft$\cr\hidewidth\scalebox{.65}[1]{$-$}\hidewidth\cr}%
    }}

\begin{document}

\[
A\dsubt R\quad A\rsubt R
\]

\end{document}

如果您使用不同的数学字体,则可能需要.65在中进行调整\scalebox

更复杂的版本\mathpalette允许符号出现在下标中:

在此处输入图片描述

\documentclass{article}
\usepackage{graphicx}
\usepackage{amsmath}

\makeatletter
\newcommand{\domsub}{\mathrel{\mathpalette\dom@sub\relax}}
\newcommand{\dom@sub}[2]{%
  \ooalign{%
    $\m@th#1\triangleright$\cr
    \hidewidth$\m@th#1\text{\scalebox{.65}[1]{$-$}}$\hidewidth\cr
  }%
}
\newcommand{\ransub}{\mathrel{\mathpalette\ran@sub\relax}}
\newcommand{\ran@sub}[2]{%
  \ooalign{%
    $\m@th#1\triangleleft$\cr
    \hidewidth$\m@th#1\text{\scalebox{.65}[1]{$-$}}$\hidewidth\cr
  }%
}
\makeatother

\begin{document}

\[
A\ransub R_{A\ransub R}\quad A\domsub R_{A\domsub R}
\]

\end{document}

Egreg 经常在这个网站上使用这种类型的代码来创建新符号。我就是在那里学到这项技术的。

答案2

该包oz提供了这样的符号:

\documentclass{article}
\usepackage{oz}


\begin{document}
\string\dsub{} gives $\dsub$

\string\rsub{} gives $\rsub$

\string\ndres{} gives $\ndres$ 

\string\nrres{} gives $\nrres$

\end{document}

此外,\dsub\rsub由包提供stix...(可能还有更多)

在此处输入图片描述

相关内容