答案1
第一个选项(使用 STIX)
\documentclass{article}
\DeclareFontEncoding{LS2}{}{}
\DeclareFontSubstitution{LS2}{stix}{m}{n}
\DeclareSymbolFont{arrows3}{LS2}{stixtt}{m}{n}
\DeclareMathSymbol{\saizouimplies}{\mathrel}{arrows3}{'053}
\begin{document}
$A\saizouimplies B \rightarrow C$
\end{document}
第二种选择(使用 NewTX)
\documentclass{article}
\DeclareSymbolFont{symbolsC}{U}{ntxsyc}{m}{n}
\DeclareMathSymbol{\saizouimplies}{\mathrel}{symbolsC}{74}
\begin{document}
$A\saizouimplies B \rightarrow C$
\end{document}