What's the difference between different "implies" symbols? |= and =&gt; I'm taking AI right now, and our professor recently covered soundness, where he used delta |= alpha for implies, but up until now, we've always used delta =&gt; alpha for implies. Is there any significant difference?

Sorry I'm no good at typing symbols :( Thanks!