data/212.json
{
"definitions" : {
"\\psi" : [ "semiring homomorphism", {
"Q370502" : "mapping"
} ],
"\\widetilde{+}" : [ "+ operation of second semiring", { } ],
"a" : [ "semiring element", { } ],
"b" : [ "semiring element", { } ]
},
"constraints" : [ ],
"math_inputtex" : "\\psi(a+b)=\\psi(a)\\widetilde{+}\\psi(b)",
"math_inputtex_semantic" : "\\wf{Q370502}{\\psi}(\\w{Q379825}{a}+\\w{Q379825}{b}) = \\infix{ \\widetilde{+}}{ \\psi(a)}{ \\psi(b)}",
"correct_tex" : "\\psi(a+b)=\\psi(a)\\widetilde{+}\\psi(b)",
"correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"\\psi(a+b)=\\infix{\\widetilde{+}}{\\psi(a)}{\\psi(b)}\" display=\"inline\">\n <semantics id=\"p1.1.m1.1a\">\n <mrow id=\"p1.1.m1.1.9\" xref=\"p1.1.m1.1.9.cmml\">\n <mrow id=\"p1.1.m1.1.9.1.2\" xref=\"p1.1.m1.1.9.1.1.cmml\">\n <mi id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.1.cmml\">ψ</mi>\n <mo id=\"p1.1.m1.1.9.1.2a\" xref=\"p1.1.m1.1.9.1.1.cmml\"></mo>\n <mrow id=\"p1.1.m1.1.9.1.2.2\" xref=\"p1.1.m1.1.9.1.1.cmml\">\n <mo stretchy=\"false\" id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.9.1.1.cmml\">(</mo>\n <mrow id=\"p1.1.m1.1.9.1.2.1\" xref=\"p1.1.m1.1.9.1.2.1.cmml\">\n <mi id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.3.cmml\">a</mi>\n <mo id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.4.cmml\">+</mo>\n <mi id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.5.cmml\">b</mi>\n </mrow>\n <mo stretchy=\"false\" id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.9.1.1.cmml\">)</mo>\n </mrow>\n </mrow>\n <mo id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">=</mo>\n <mrow id=\"p1.1.m1.1.8.6\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mrow id=\"p1.1.m1.1.8.2.6\" xref=\"p1.1.m1.1.8.2.5.cmml\">\n <mi id=\"p1.1.m1.1.8.2.1\" xref=\"p1.1.m1.1.8.2.1.cmml\">ψ</mi>\n <mo id=\"p1.1.m1.1.8.2.6a\" xref=\"p1.1.m1.1.8.2.5.cmml\"></mo>\n <mrow id=\"p1.1.m1.1.8.2.6.1\" xref=\"p1.1.m1.1.8.2.5.cmml\">\n <mo stretchy=\"false\" id=\"p1.1.m1.1.8.2.2\" xref=\"p1.1.m1.1.8.2.5.cmml\">(</mo>\n <mi id=\"p1.1.m1.1.8.2.3\" xref=\"p1.1.m1.1.8.2.3.cmml\">a</mi>\n <mo stretchy=\"false\" id=\"p1.1.m1.1.8.2.4\" xref=\"p1.1.m1.1.8.2.5.cmml\">)</mo>\n </mrow>\n </mrow>\n <mo id=\"p1.1.m1.1.8.6.1\" xref=\"p1.1.m1.1.8.1.1.cmml\"></mo>\n <mover accent=\"true\" id=\"p1.1.m1.1.8.3\" xref=\"p1.1.m1.1.8.3.cmml\">\n <mo id=\"p1.1.m1.1.8.3.1.2\" xref=\"p1.1.m1.1.8.3.1.2.cmml\">+</mo>\n <mo id=\"p1.1.m1.1.8.3.1.1\" xref=\"p1.1.m1.1.8.3.1.1.cmml\">~</mo>\n </mover>\n <mo id=\"p1.1.m1.1.8.6.1a\" xref=\"p1.1.m1.1.8.1.1.cmml\"></mo>\n <mrow id=\"p1.1.m1.1.8.4.6\" xref=\"p1.1.m1.1.8.4.5.cmml\">\n <mi id=\"p1.1.m1.1.8.4.1\" xref=\"p1.1.m1.1.8.4.1.cmml\">ψ</mi>\n <mo id=\"p1.1.m1.1.8.4.6a\" xref=\"p1.1.m1.1.8.4.5.cmml\"></mo>\n <mrow id=\"p1.1.m1.1.8.4.6.1\" xref=\"p1.1.m1.1.8.4.5.cmml\">\n <mo stretchy=\"false\" id=\"p1.1.m1.1.8.4.2\" xref=\"p1.1.m1.1.8.4.5.cmml\">(</mo>\n <mi id=\"p1.1.m1.1.8.4.3\" xref=\"p1.1.m1.1.8.4.3.cmml\">b</mi>\n <mo stretchy=\"false\" id=\"p1.1.m1.1.8.4.4\" xref=\"p1.1.m1.1.8.4.5.cmml\">)</mo>\n </mrow>\n </mrow>\n </mrow>\n </mrow>\n <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n <apply id=\"p1.1.m1.1.9.cmml\" xref=\"p1.1.m1.1.9\">\n <eq id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\"/>\n <apply id=\"p1.1.m1.1.9.1.1.cmml\" xref=\"p1.1.m1.1.9.1.2\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">Q370502</csymbol>\n <apply id=\"p1.1.m1.1.9.1.2.1.cmml\" xref=\"p1.1.m1.1.9.1.2.1\">\n <plus id=\"p1.1.m1.1.4.cmml\" xref=\"p1.1.m1.1.4\"/>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">Q379825</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.5.cmml\" xref=\"p1.1.m1.1.5\">Q379825</csymbol>\n </apply>\n </apply>\n <apply id=\"p1.1.m1.1.8.1.cmml\" xref=\"p1.1.m1.1.8.6\">\n <apply id=\"p1.1.m1.1.8.3.cmml\" xref=\"p1.1.m1.1.8.3\">\n <ci id=\"p1.1.m1.1.8.3.1.1.cmml\" xref=\"p1.1.m1.1.8.3.1.1\">~</ci>\n <plus id=\"p1.1.m1.1.8.3.1.2.cmml\" xref=\"p1.1.m1.1.8.3.1.2\"/>\n </apply>\n <apply id=\"p1.1.m1.1.8.2.5.cmml\" xref=\"p1.1.m1.1.8.2.6\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.8.2.1.cmml\" xref=\"p1.1.m1.1.8.2.1\">Q370502</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.8.2.3.cmml\" xref=\"p1.1.m1.1.8.2.3\">Q379825</csymbol>\n </apply>\n <apply id=\"p1.1.m1.1.8.4.5.cmml\" xref=\"p1.1.m1.1.8.4.6\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.8.4.1.cmml\" xref=\"p1.1.m1.1.8.4.1\">Q370502</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.8.4.3.cmml\" xref=\"p1.1.m1.1.8.4.3\">Q379825</csymbol>\n </apply>\n </apply>\n </apply>\n </annotation-xml>\n <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\psi(a+b)=\\infix{\\widetilde{+}}{\\psi(a)}{\\psi(b)}</annotation>\n </semantics>\n</math>",
"uri" : "https://arxiv.org/abs/0705.0734",
"title" : "Reversal",
"comment" : "how to express that the + with tilde is an operation from the second semiring? Does my solution make sense?",
"type" : "equation",
"ntcir12-type" : "12",
"formula" : "1_95.1",
"page" : "12",
"ntcir12-relevance" : "1"
}