
  


  </div>

    </div>

    <div class="col-md-9" id='text'>
      <h2>public interface operator(/=)</h2>
      <p>Non-equivalence operator for <code>character</code> and <code>String</code>. Mixed type non-equivalence of <code>character</code> and
<code>String</code> is explicitly defined.</p>
<p>For a user reference, see <a href="../page/Ref/operators.html#non-equivalence">Non-equivalence</a>.</p>
<div class="alert alert-info">
<p class="alert-title h4">Note</p>
<p>The non-equivalence operator <code>/