Template:Imp

$$\to$$

Material conditional