严格的条件符号而不改变默认字体？

Question

\strictif以下是从模态逻辑中如何定义为严格条件⥽。

\documentclass{article}
\usepackage{lipsum}
\usepackage{pxfonts}
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}
\begin{document}

\lipsum[11]
$$p \strictif q$$

\end{document}

但是，我对这个解决方案并不满意，因为加载包pxfonts会更改文档的默认字体。有没有办法定义\strictif，以便我只能从该字体访问 ⥽ 符号，而不会更改文档的默认字体？

Answer 1

正如其他人在评论中指出的那样，您实际上并不需要这一\usepackage{pxfonts}行；如果删除它，您的字体将恢复为 Computer Modern。

\documentclass{article}
\usepackage{lipsum}
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}
\begin{document}

\lipsum[11]
\[p \strictif q\]

\end{document}