☰

定向鱼叉平等

tag-icon • tag-icon arrows relation-symbols
定向鱼叉平等

我想使用一个看起来像等号的符号，但在线的一侧有一个箭头来指示方向。

（例如，在操作可能未定义的表达式时，表明一侧的确定性意味着另一侧的确定性）

我发现最接近的符号是包装上的$\rightbarharpoon$和。但这个符号并没有真正让我产生平等感：太长了，两条线太近了。$\leftbarharpoon$mathabx

有什么建议么？

答案1

这是一个可以与一起使用的解决方案(pdf)latex。我给出了一个“长”版本和一个短版本的鱼叉相等（并不完美，因为它用于\resizebox调整符号的长度）：

\documentclass{article}

\usepackage{mathtools}
\usepackage{graphicx}

\newcommand{\rightharpoonupeq}{\mathrel{%
\raise.22ex\hbox{$\rightharpoonup $}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \lower.22ex\box0}}%
%
\newcommand{\leftharpoonupeq}{\mathrel{%
\raise.22ex\hbox{$\leftharpoonup $}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \lower.22ex\box0}}%

\newcommand{\rightharpoondowneq}{\mathrel{%
\lower.22ex\hbox{$\rightharpoondown$}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \raise.22ex\box0}}%

\newcommand{\leftharpoondowneq}{\mathrel{%
\lower.22ex\hbox{$\leftharpoondown$}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \raise.22ex\box0}}%


\newcommand{\shortrightharpoonupeq}{\mathrel{%
\resizebox{\widthof{$=$}}{\height}{%
\raise.22ex\hbox{$\rightharpoonup $}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \lower.22ex\box0}}}%
%%
\newcommand{\shortleftharpoonupeq}{\mathrel{%
\resizebox{\widthof{$=$}}{\height}{%
\raise.22ex\hbox{$\leftharpoonup $}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \lower.22ex\box0}}}%

\newcommand{\shortrightharpoondowneq}{\mathrel{%
\resizebox{\widthof{$=$}}{\height}{%
\lower.22ex\hbox{$\rightharpoondown$}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \raise.22ex\box0}}}%

\newcommand{\shortleftharpoondowneq}{\mathrel{%
\resizebox{\widthof{$=$}}{\height}{%
\lower.22ex\hbox{$\leftharpoondown$}%
\setbox0=\hbox{$\relbar\mkern-9.1mu\relbar$}%
\kern -.98\wd0 \raise.22ex\box0}}}%



\begin{document}

\begin{alignat*}{2}%
  \texttt{`Long' version} & :\qquad & A & = B \\
                                & & A & \rightleftharpoons B \\
                                & & A & \rightharpoonupeq B\leftharpoonupeq C \\
                                & & A & \rightharpoondowneq B \leftharpoondowneq C \\[4ex]
  \texttt{`Short' version} & :\qquad & A & = B \\
                                & & A & \shortrightharpoonupeq B\shortleftharpoonupeq C \\
                                & & A & \shortrightharpoondowneq B \shortleftharpoondowneq C
\end{alignat*}
\end{document}

在此处输入图片描述

答案2

借助 Lua 或 XeLaTeX，您可能希望采用以下 unicode 和字体之一。如果您认为符号太长，您可能希望像最后所示的那样修剪它们。最后一种方法mathabx也可以用符号来完成，因此可以用 pdfLaTeX 进行编译。

在此处输入图片描述

% arara: lualatex

\documentclass{article}
\usepackage{mathtools}
\usepackage{unicode-math}
\usepackage{trimclip}

\newcommand*{\rightequal}{\mathrel{\clipbox{1.95999pt 0pt .45pt 0pt}{$\rightharpoonupdash$}}}
\newcommand*{\leftequal}{\mathrel{\clipbox{.45pt 0pt 1.95999pt 0pt}{$\leftharpoonupdash$}}}

\begin{document}
\setmathfont{Asana Math}
$A= A \equalrightarrow B = B \equalleftarrow A = A$ % U+2971 and U+2972

$A= A \rightharpoonupdash B = B \leftharpoonupdash A = A$ % U+296C and U+296A

\setmathfont{STIX Math}
$A= A \equalrightarrow B = B \equalleftarrow A = A$

$A= A \rightharpoonupdash B = B \leftharpoonupdash A = A$

\begin{align*}
A&\rightequal B\\
A &= B\\
A&\leftequal B
\end{align*}
\end{document}

在此处输入图片描述

相关内容