rec-card1

cardinality of A = 5

W3C sample	WIRIS
[N/A]	$eq size A 5$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <apply>
    <csymbol cd="relation1">eq</csymbol>
    <apply>
      <csymbol cd="set1">size</csymbol>
      <ci>A</ci>
    </apply>
    <ci>5</ci>
  </apply>
</math>

Author: MathML 2 Recomendation