{{indexmenu_n>15770}}
====== rec-forall4 ======

<wrap mml-desc>forall/exists/and/plus</wrap>

<wrap mml-tag>{{mml>}}</wrap>

<wrap mml-author>Author: MathML 2 Recomendation</wrap>