Il est important de bien connatre le sens du symbole
 \Rightarrow, c'est--dire de
l'\fold{def-impl}{<span class="defn">implication</span>}

En particulier, \calP  \Rightarrow \calQ peut tre vraie ou faux, il s'agit
d'une assertion.
Cependant, par abus de langage, il arrive  tout le monde de dire 
"On a  \calP  \Rightarrow  \calQ"  ou pire,   " si  \calP  \(\Rightarrow) \calQ, alors ...."