我怎样才能将等价物（即 $\Leftrightarrow$）绘制为箭头？

Question

我在手册中找到了implies正确的箭头类型，所以我尝试了

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{arrows}

\begin{document}
\begin{tikzpicture}[>=latex]
  \draw[<->,double equal sign distance,implies] (2,1) -- (3,2);
\end{tikzpicture}
\end{document}

但不知何故，implies线断了<->，导致只有线的一端出现箭头。

那么，如何在 Tikz 中获得与箭头等价的东西？

---

我搜索了另一个合适的箭头尖（如equivalent）或另一个合适的参数，而不是<->说两个线端都应该得到箭头尖，但没有找到任何东西。

Answer 1

implies是 TikZ 箭头的名称（在arrowsTikZ 库中定义）。它必须与连字符组合（如在我的代码中）；它不能单独用作 PGF 键（如在您的 MWE 中）。以下代码产生所需的输出：

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{arrows}
\begin{document}
\begin{tikzpicture}
\draw[implies-implies,double equal sign distance] (2,1) -- (3,2);
\end{tikzpicture}
\end{document}