iption</h2>
<p>
            If an expression type <code class="computeroutput">E</code> does not match a grammar
            <code class="computeroutput">G</code>, then <code class="computeroutput">E</code> <span class="emphasis"><em>does</em></span>
            match <code class="computeroutput">proto::not_&lt;G&gt;</code>. For example,
            <code class="computeroutput"><a class="link" href="not_.html" title="Struct template not_">proto::not_</a>&lt;<a class="link" href="terminal.html" title="Struct