prev | ( testsuite > Content > ConstantsAndSymbols > naturalnumbers > rec-naturalnumbers1 ) | next |
Alternatives: | (mml file) (full) () () () () |
File: | Content/ConstantsAndSymbols/naturalnumbers/rec-naturalnumbers1 |
CVS-ID: | |
Author: | MathML 2 Recommendation |
Description: | natural numbers |
Sample Rendering: |
JEuclids rendering:
Source Code:
<math xmlns="http://www.w3.org/1998/Math/MathML"> <apply> <in/> <cn type="integer">1729</cn> <naturalnumbers/> </apply> </math>