Strict Conditional in LaTeX

I just had occasion to have to typeset Lewis's strict conditional symbol in LaTeX. It turns out it isn't in the standard AMS fonts. Peter Smith's LaTeX for Logicians to the rescue! There I found:

1. that the strict conditional symbol is in the fonts that are part of the txfonts and pxfonts packages, and
2. that there is a wonderful 110 page/3 MB comprehensive listing of all LaTeX symbols (by Scott Pakin).

Now it turns out that the point of txfonts and pxfonts is to give you output in Times Roman and Palatino fonts, respectively, with matching math and symbol fonts. That's useful in itself--but if you happen to not want your document to be in Times or Palatino, you can still get \strictif by putting this in the preamble:

\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}