I have added the necessary qualification  Regarding the original lead it was a mess Amongst other things the original lead had redundancies it employed terms without first defining them or linking to a definition sometimes the term compound was used and other times statment was used the relatively minor matter of material implication vs logical entailment was too long used an awful example and just confused what preceded it  In the lead it would have been sufficient to just say something like The material conditional is to be distinguished from logical entailment which is usually symbolosed using double turnstile  The distinction can then be detailed in the body of the article  Also the failure to even mention propositional calculus  which is the context in which someone is most likely to look up the meaning of the operator  was an unacceptable omission  By the time someone reaches the study of paraconsistent logical systems they will likely have no need to look up what a material conditional is on Wikipedia  A novice is most likely to look up this entry in wikipedia and they will most likely have encountered the operator in the context of classicalBoolean propositional calculus