title: Is there an implication logical operator in python?
body: <p>I would like to write a statement in python with logical implication.
  Something like:</p>
  
  <pre><code>if x =&gt; y:
    do_sth()
  </code></pre>
  
  <p>Of course, I know I could use:</p>
  
  <pre><code>if (x and y) or not x:
    do_sth()
  </code></pre>
  
  <p>But is there a logical operator for this in python?</p>