只有箭头

Question

我只想要这个箭头的尖端：$\to$。也就是说，我想要取|这个符号后面的部分

|\mathrel{\mkern-17mu}\rightarrow

我还接受了一个 latex 代码，它使我刚刚发布的代码之前的部分变白|。这可能吗？谢谢

Answer 1

这里有两种可能性，取决于您是否想要箭杆。

第一个选项用于trimclip切断大部分茎。第二个选项用于TikZ绘制（几乎）没有茎的箭头。请注意，您必须加载arrows.meta库才能使箭头的大小和形状与 相同\to。

\documentclass{article}

\usepackage{trimclip}
\usepackage{tikz}
\usetikzlibrary{arrows.meta}

\newcommand{\totip}{\mathrel{\clipbox*{{.685\width} {-.5ex} {\width} {1.5ex}}{$\to$}}}

\newcommand{\tootip}{\mathrel{\tikz[anchor=base]{\draw[->](0,0)--(.01,0);}}}

\begin{document}

$a\totip b \to c$

$a\tootip b \to c$

\end{document}