我使用\impliesand\iff命令进行右手蕴涵且当且仅当（所以 A=>B 且 A<=>B）。
对于左手蕴涵（即 A<=B）来说，类似的命令是什么？我在 Google 或文档中找不到任何内容。
答案1
您需要的命令已经存在:（\impliedby如果您正在使用\implies它，则意味着您正在加载amsmath）。
故事情节比较复杂，我们试着做个简历吧。
Plain TeX 将其定义\iff为\;\Longleftrightarrow\;，即左右两侧带有扩展空格的关系符号。
在 AMS-TeX 中，该命令被重新定义为“点感知”：
\def\iff{\DOTSB\;\Longleftrightarrow\;}
并辅以类似的命令
\def\implies{\DOTSB\;\Longrightarrow\;}
\def\impliedby{\DOTSB\;\Longleftarrow\;}
这三个命令被移植amstex.sty（AMS-TeX 到 LaTeX 的第一次移植）并且也在“权威”包中找到amsmath.sty，但没有在其文档中。
由于它们没有记录，所以它们实际上并没有列在 LaTeX 符号综合列表中（有“参见\Longrightarrow”和类似的参考资料）。
由于这些命令没有记录，因此可能会出现问题：它们可能会在 的新版本中消失amsmath。您的文档的解决方案是说
\usepackage{amsmath}
\providecommand\iff{\DOTSB\;\Longleftrightarrow\;}
\providecommand\implies{\DOTSB\;\Longrightarrow\;}
\providecommand\impliedby{\DOTSB\;\Longleftarrow\;}
但这也可能有风险，因为它使用了内部宏\DOTSB。
自从他们是有用 (尽管我通常远离它们，更喜欢文字)，如果它们能在 的文档中找到自己的出路，那将是一个受欢迎的补充amsmath。