☰

如何创建“继或先于”符号？

tag-icon • tag-icon math-mode equations symbols math-operators relation-symbols
如何创建“继或先于”符号？

这可能是一个显而易见的（或不可能的）要求，但有人知道除了“成功或先于”之外，是否有与“小于或大于”符号等效的符号吗？谢谢！

我试过使用解纤（它只会返回符号\lessgtr）并查看我能找到的尽可能多的数学符号 pdf 指南。我可能只是错过了它，但我尝试了几种不同的方法。或者，如果符号不存在，是否有一种简单（至少有点优雅）的方法强制将 \succ 和 \prec 叠加在一起？

答案1

仅使用原始命令：

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

\makeatletter
\newcommand{\succprec}{\mathrel{\mathpalette\succ@prec{\succ\prec}}}
\newcommand{\precsucc}{\mathrel{\mathpalette\succ@prec{\prec\succ}}}

\newcommand{\succ@prec}[2]{\succ@@prec#1#2}
\newcommand{\succ@@prec}[3]{%
  \vcenter{\m@th\offinterlineskip
    \sbox\z@{$#1#3$}%
    \hbox{$#1#2$}\kern-0.4\ht\z@\box\z@
  }%
}
\makeatother

\begin{document}

$A\succprec B\precsucc C_{\succprec\precsucc}$

$\succ\succprec>\gtrless$

\end{document}

在此处输入图片描述

加法unicode-math

当unicode-math使用时，不能仅通过在前面添加 来否定符号\not。

\documentclass{article}
\usepackage{amsmath}
\usepackage{unicode-math}

\makeatletter
\NewDocumentCommand{\succprec}{}{\mathrel{\mathpalette\succ@prec{\succ\prec}}}
\NewDocumentCommand{\precsucc}{}{\mathrel{\mathpalette\succ@prec{\prec\succ}}}
\NewDocumentCommand{\nsuccprec}{}{\mathrel{\notaccent{\succprec}}}
\NewDocumentCommand{\nprecsucc}{}{\mathrel{\notaccent{\precsucc}}}

\newcommand{\succ@prec}[2]{\succ@@prec#1#2}
\newcommand{\succ@@prec}[3]{%
  \vcenter{\m@th\offinterlineskip
    \sbox\z@{$#1#3$}%
    \hbox{$#1#2$}\kern-0.4\ht\z@\box\z@
  }%
}
\makeatother

\begin{document}

$A\succprec B\precsucc C_{\succprec\precsucc}$

$\succ\succprec>\gtrless$

$\not\succprec\not\precsucc_{\not\succprec}$

\end{document}

在此处输入图片描述

也可以直接使用\nprecsucc或\nsuccprec。

答案2

像这样吗？

\documentclass{article}
\usepackage{amsmath, amssymb}
\usepackage{stackengine}
\newcommand{\succprec}{\mathrel{\vcenter{\hbox{$\stackMath\stackinset{l}{-0.28em}{c}{0.9ex}{\prec}{\succ}$}}}}

\begin{document}

\[ a\succprec b\]%

\end{document}

在此处输入图片描述

答案3

你问...

如何创建“继任或先于”符号？

通常没有理由写类似的东西，X ⋚ 是。

如果 （X⪯是）和（X⪰是）， 然后X=是。

也就是说，如果（X继续或等于是） 和 （是继续或等于X），那么我们可以简单地写成X和是是相等的。

通常，对于任何两个物体X和是， 我们有X⪯是或者X⪰是。

该声明， [（X⪯是） 或者 （X⪰是）] 始终为真。

例如，我们有（1小于10） 或者 （10小于1）。

但是，下面显示了一些与您询问的内容相关的符号：

≰     ≱     ≲     ≳ 
≴     ≵     ≶     ≷ 
≸     ≹     ≺     ≻ 
≼     ≽     ≾     ≿
⊀     ⊁     ⊰     ⊱
⋚     ⋛     ⋜     ⋝ 
⋞     ⋟     ⋠     ⋡
输入 输出
\prec ≺
\preceq ⪯
\succ ≻
\succeq ⪰
\nsucc ⊁

相关内容