data/73.json
{
"definitions" : {
"C" : [ "1-cycles", { } ],
"K_{X}" : [ "canonical divisor", {
"Q844128" : "Canonical bundle"
} ]
},
"constraints" : [ ],
"math_inputtex" : "\\{C : K_X \\cdot C = 0\\}",
"math_inputtex_semantic" : "\\{ \\w{Q245595}{C} : \\w{Q844128}{K}_X \\cdot C = 0\\}",
"correct_tex" : "\\{C : K_X \\cdot C = 0\\}",
"correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"\\{C:K_{X}\\cdot C=0\\}\" display=\"inline\">\n <semantics id=\"p1.1.m1.1a\">\n <mrow id=\"p1.1.m1.1.11\" xref=\"p1.1.m1.1.11.1.cmml\">\n <mo stretchy=\"false\" id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.11.1.1.cmml\">{</mo>\n <mi id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.2.cmml\">C</mi>\n <mo id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.11.1.1.cmml\">:</mo>\n <mrow id=\"p1.1.m1.1.11.2\" xref=\"p1.1.m1.1.11.2.cmml\">\n <mrow id=\"p1.1.m1.1.11.2.1\" xref=\"p1.1.m1.1.11.2.1.cmml\">\n <msub id=\"p1.1.m1.1.11.2.1.1\" xref=\"p1.1.m1.1.11.2.1.1.cmml\">\n <mi id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">K</mi>\n <mi id=\"p1.1.m1.1.5.1\" xref=\"p1.1.m1.1.5.1.cmml\">X</mi>\n </msub>\n <mo id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.6.cmml\">⋅</mo>\n <mi id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">C</mi>\n </mrow>\n <mo id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.cmml\">=</mo>\n <mn id=\"p1.1.m1.1.9\" xref=\"p1.1.m1.1.9.cmml\">0</mn>\n </mrow>\n <mo stretchy=\"false\" id=\"p1.1.m1.1.10\" xref=\"p1.1.m1.1.11.1.1.cmml\">}</mo>\n </mrow>\n <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n <apply id=\"p1.1.m1.1.11.1.cmml\" xref=\"p1.1.m1.1.11\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.11.1.1.cmml\" xref=\"p1.1.m1.1.1\">conditional-set</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.2.cmml\" xref=\"p1.1.m1.1.2\">Q245595</csymbol>\n <apply id=\"p1.1.m1.1.11.2.cmml\" xref=\"p1.1.m1.1.11.2\">\n <eq id=\"p1.1.m1.1.8.cmml\" xref=\"p1.1.m1.1.8\"/>\n <apply id=\"p1.1.m1.1.11.2.1.cmml\" xref=\"p1.1.m1.1.11.2.1\">\n <ci id=\"p1.1.m1.1.6.cmml\" xref=\"p1.1.m1.1.6\">⋅</ci>\n <apply id=\"p1.1.m1.1.11.2.1.1.cmml\" xref=\"p1.1.m1.1.11.2.1.1\">\n <csymbol cd=\"ambiguous\" id=\"p1.1.m1.1.11.2.1.1.1.cmml\" xref=\"p1.1.m1.1.11.2.1.1\">subscript</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\">Q844128</csymbol>\n <ci id=\"p1.1.m1.1.5.1.cmml\" xref=\"p1.1.m1.1.5.1\">𝑋</ci>\n </apply>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\">Q245595</csymbol>\n </apply>\n <cn type=\"integer\" id=\"p1.1.m1.1.9.cmml\" xref=\"p1.1.m1.1.9\">0</cn>\n </apply>\n </apply>\n </annotation-xml>\n <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\{C:K_{X}\\cdot C=0\\}</annotation>\n </semantics>\n</math>",
"uri" : "https://en.formulasearchengine.com/w/index.php?oldid=21482#math21482.45",
"title" : "Cone_of_curves",
"type" : "definition"
}