UNPKG

mathmlben

Version:

Visualization for goldstandard

github.com/ag-gipp/GoUldI

ag-gipp/GoUldI

38 lines • 2.04 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="f:{\mathbb{N}_{1}}\to{\mathbb{N}_{1}}" display="inline"> <semantics id="p1.1.m1.1a"> <mrow id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml"> <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">f</mi> <mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">:</mo> <mrow id="p1.1.m1.1.8.1" xref="p1.1.m1.1.8.1.cmml"> <msub id="p1.1.m1.1.8.1.1" xref="p1.1.m1.1.8.1.1.cmml"> <mi id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">ℕ</mi> <mn id="p1.1.m1.1.4.1" xref="p1.1.m1.1.4.1.cmml">1</mn> </msub> <mo id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">→</mo> <msub id="p1.1.m1.1.8.1.2" xref="p1.1.m1.1.8.1.2.cmml"> <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">ℕ</mi> <mn id="p1.1.m1.1.7.1" xref="p1.1.m1.1.7.1.cmml">1</mn> </msub> </mrow> </mrow> <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8"> <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">:</ci> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝑓</ci> <apply id="p1.1.m1.1.8.1.cmml" xref="p1.1.m1.1.8.1"> <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">→</ci> <apply id="p1.1.m1.1.8.1.1.cmml" xref="p1.1.m1.1.8.1.1"> <csymbol cd="ambiguous" id="p1.1.m1.1.8.1.1.1.cmml" xref="p1.1.m1.1.8.1.1">subscript</csymbol> <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">ℕ</ci> <cn type="integer" id="p1.1.m1.1.4.1.cmml" xref="p1.1.m1.1.4.1">1</cn> </apply> <apply id="p1.1.m1.1.8.1.2.cmml" xref="p1.1.m1.1.8.1.2"> <csymbol cd="ambiguous" id="p1.1.m1.1.8.1.2.1.cmml" xref="p1.1.m1.1.8.1.2">subscript</csymbol> <ci id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">ℕ</ci> <cn type="integer" id="p1.1.m1.1.7.1.cmml" xref="p1.1.m1.1.7.1">1</cn> </apply> </apply> </apply> </annotation-xml> </semantics> </math>