orial.bimaps_with_user_defined_names.t0"></a><p class="title"><b>Table 1.3. Equivalence of expressions using user defined names</b></p>
<div class="table-contents"><table class="table" summary="Equivalence of expressions using user defined names">
<colgroup>
<col>
<col>
</colgroup>
<thead><tr>
<th>
                <p>
                  Untagged version
                </p>
              </th>
<th>
                <p>
                  Tagged version
                </p>
              </th>
</tr></thead>
<