s="informaltable"><table class="table">
<colgroup>
<col>
<col>
<col>
<col>
<col>
<col>
</colgroup>
<thead><tr>
<th>Name</th>
<th>Expression</th>
<th>Type</th>
<th>Precondition</th>
<th>Semantics</th>
<th>Postcondition</th>
</tr></thead>
<tbody>
<tr>
<td><p>Dereference</p></td>
<td><p>*i</p></td>
<td><p><span class="type">const-if-not-mutable value_type &amp;</span></p></td>
<td><p><code class="computeroutput">i</code> is incrementable (not
    off-the-end)</p></td>
<td>&#160;</td>
<td>&#160;</td>
</tr>
<tr>