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}