</td></tr>
<tr class="first"><td><span style="font-family: helvetica,arial,sans-serif; font-weight: bolder; font-size: small;">&nbsp;quantifiers</span></td><td>&nbsp;&nbsp;&nbsp;</td><td>&nbsp;</td><td>&nbsp;&nbsp;&nbsp;</td><td>&nbsp;</td></tr>
<tr class="middle"><td align="right">universal</td><td>&nbsp;&nbsp;&nbsp;</td><td align="right">&forall;<sub><span style="font-size: x-small;"><span style="font-style: italic;">x</span><sub>0</sub>&nbsp;&isin;&nbsp;<span style="font-style: italic;">X<sub>0</sub></sp