  <div class="col-md-9" id='text'>
      <h2>public interface operator(==)</h2>
      <p>Equivalence operator for <code>character</code> and <code>String</code>. Mixed type 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#equivalence">Equivalence</a>.</p>
<div class="alert alert-info">
<p class="alert-title h4">Note</p>
<p>The equivalence operator <code>==</code> is interchangeable with <code>.eq.</code>