Regarding tilde versus overbar: I noticed that the Bayes' theorem page uses \neg, resulting in an ¬ character, for that purpose. Should we use that here (including in the inline plain-text renderings) for consistency? (We should probably standardize on one such character to signify negation on all wiki pages, whether ~ or ¬.) —Adam Atlas 17:12, 25 August 2010 (UTC)
\neg it is, given that it seems to be more standard, and latex here renders tilde with inelegant amount of spacing around it. --Vladimir Nesov 20:41, 25 August 2010 (UTC)
From the old discussion page:
Talk:Conservation of expected evidence
Regarding tilde versus overbar: I noticed that the Bayes' theorem page uses \neg, resulting in an ¬ character, for that purpose. Should we use that here (including in the inline plain-text renderings) for consistency? (We should probably standardize on one such character to signify negation on all wiki pages, whether ~ or ¬.) —Adam Atlas 17:12, 25 August 2010 (UTC)
\neg it is, given that it seems to be more standard, and latex here renders tilde with inelegant amount of spacing around it. --Vladimir Nesov 20:41, 25 August 2010 (UTC)