UNPKG

mathmlben

Version:

Visualization for goldstandard

github.com/ag-gipp/GoUldI

ag-gipp/GoUldI

21 lines • 2.72 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
{ "definitions" : { "f" : [ { "Q1948412" : "morphism (mathematics)" } ], "Z" : [ { "Q3554818" : "projective variety" } ], "n" : [ { "Q21199" : "natural number (numbers used for counting and ordering)" } ] }, "constraints" : [ ], "math_inputtex" : "\\dim f(Z) > n", "math_inputtex_semantic" : "\\dim \\wf{Q1948412}{f}(\\w{Q3554818}{Z}) > \\w{Q21199}{n}", "correct_tex" : "\\dim f(Z) > n", "correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"\\dim f(Z)&gt;n\" display=\"inline\">\n <semantics id=\"p1.1.m1.1a\">\n <mrow id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.cmml\">\n <mrow id=\"p1.1.m1.1.8.1\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mo id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.1.cmml\">dim</mo>\n <mo id=\"p1.1.m1.1.8.1a\" xref=\"p1.1.m1.1.8.1.cmml\">⁡</mo>\n <mrow id=\"p1.1.m1.1.8.1.1.2\" xref=\"p1.1.m1.1.8.1.1.1.cmml\">\n <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">f</mi>\n <mo id=\"p1.1.m1.1.8.1.1.2a\" xref=\"p1.1.m1.1.8.1.1.1.cmml\">⁡</mo>\n <mrow id=\"p1.1.m1.1.8.1.1.2.1\" xref=\"p1.1.m1.1.8.1.1.1.cmml\">\n <mo stretchy=\"false\" id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.8.1.1.1.cmml\">(</mo>\n <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">Z</mi>\n <mo stretchy=\"false\" id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.8.1.1.1.cmml\">)</mo>\n </mrow>\n </mrow>\n </mrow>\n <mo id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">&gt;</mo>\n <mi id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">n</mi>\n </mrow>\n <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n <apply id=\"p1.1.m1.1.8.cmml\" xref=\"p1.1.m1.1.8\">\n <gt id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\"/>\n <apply id=\"p1.1.m1.1.8.1.cmml\" xref=\"p1.1.m1.1.8.1\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">dimension</csymbol>\n <apply id=\"p1.1.m1.1.8.1.1.1.cmml\" xref=\"p1.1.m1.1.8.1.1.2\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">Q1948412</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">Q3554818</csymbol>\n </apply>\n </apply>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\">Q21199</csymbol>\n </apply>\n </annotation-xml>\n <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\dim f(Z)&gt;n</annotation>\n </semantics>\n</math>", "uri" : "https://en.formulasearchengine.com/w/index.php?oldid=13966#math13966.2", "title" : "Fulton–Hansen_connectedness_theorem", "type" : "relation" }