{{indexmenu_n>10500}}
====== rec-forall2 ======

<wrap mml-desc>forall x, x-x=0</wrap>

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

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