{"entities":{"Q5165407":{"pageid":7194978,"ns":120,"title":"Item:Q5165407","lastrevid":9630500,"modified":"2023-11-17T10:14:40Z","type":"item","id":"Q5165407","labels":{"en":{"language":"en","value":"2211.02314.S7.Ex46.m1.4"}},"descriptions":{"en":{"language":"en","value":"mathematical formula"}},"aliases":{},"claims":{"P1455":[{"mainsnak":{"snaktype":"value","property":"P1455","hash":"6570068a07e3915a436912bb416a7f29ee207fe3","datavalue":{"value":"<math alttext=\"I_{g,h}=\\left\\{(k,\\ell)\\in\\llbracket K\\rrbracket^{2},k\\in\\{g,h\\}\\text{ or }\\ell\\in\\{g,h\\}\\right\\}.\" display=\"block\" class=\"ltx_math_unparsed\" id=\"S7.Ex46.m1.4\"><semantics id=\"S7.Ex46.m1.4a\"><mrow id=\"S7.Ex46.m1.4b\"><msub id=\"S7.Ex46.m1.4.5\"><mi id=\"S7.Ex46.m1.4.5.2\">I</mi><mrow id=\"S7.Ex46.m1.2.2.2.4\"><mi id=\"S7.Ex46.m1.1.1.1.1\">g</mi><mo id=\"S7.Ex46.m1.2.2.2.4.1\">,</mo><mi id=\"S7.Ex46.m1.2.2.2.2\">h</mi></mrow></msub><mo id=\"S7.Ex46.m1.4.6\">=</mo><mrow id=\"S7.Ex46.m1.4.7\"><mo id=\"S7.Ex46.m1.4.7.1\">{</mo><mrow id=\"S7.Ex46.m1.4.7.2\"><mo id=\"S7.Ex46.m1.4.7.2.1\" stretchy=\"false\">(</mo><mi id=\"S7.Ex46.m1.3.3\">k</mi><mo id=\"S7.Ex46.m1.4.7.2.2\">,</mo><mi id=\"S7.Ex46.m1.4.4\" mathvariant=\"normal\">\u2113</mi><mo stretchy=\"false\" id=\"S7.Ex46.m1.4.7.2.3\">)</mo></mrow><mo id=\"S7.Ex46.m1.4.7.3\">\u2208</mo><msup id=\"S7.Ex46.m1.4.7.4\"><mrow id=\"S7.Ex46.m1.4.7.4.2\"><mo stretchy=\"false\" id=\"S7.Ex46.m1.4.7.4.2.1\">\u27e6</mo><mi id=\"S7.Ex46.m1.4.7.4.2.2\">K</mi><mo stretchy=\"false\" id=\"S7.Ex46.m1.4.7.4.2.3\">\u27e7</mo></mrow><mn id=\"S7.Ex46.m1.4.7.4.3\">2</mn></msup><mo id=\"S7.Ex46.m1.4.7.5\">,</mo><mi id=\"S7.Ex46.m1.4.7.6\">k</mi><mo id=\"S7.Ex46.m1.4.7.7\">\u2208</mo><mrow id=\"S7.Ex46.m1.4.7.8\"><mo id=\"S7.Ex46.m1.4.7.8.1\" stretchy=\"false\">{</mo><mi id=\"S7.Ex46.m1.4.7.8.2\">g</mi><mo id=\"S7.Ex46.m1.4.7.8.3\">,</mo><mi id=\"S7.Ex46.m1.4.7.8.4\">h</mi><mo id=\"S7.Ex46.m1.4.7.8.5\" stretchy=\"false\">}</mo></mrow><mtext id=\"S7.Ex46.m1.4.7.9\">&nbsp;or&nbsp;</mtext><mi mathvariant=\"normal\" id=\"S7.Ex46.m1.4.7.10\">\u2113</mi><mo id=\"S7.Ex46.m1.4.7.11\">\u2208</mo><mrow id=\"S7.Ex46.m1.4.7.12\"><mo id=\"S7.Ex46.m1.4.7.12.1\" stretchy=\"false\">{</mo><mi id=\"S7.Ex46.m1.4.7.12.2\">g</mi><mo id=\"S7.Ex46.m1.4.7.12.3\">,</mo><mi id=\"S7.Ex46.m1.4.7.12.4\">h</mi><mo stretchy=\"false\" id=\"S7.Ex46.m1.4.7.12.5\">}</mo></mrow><mo id=\"S7.Ex46.m1.4.7.13\">}</mo></mrow></mrow><annotation encoding=\"application/x-tex\" id=\"S7.Ex46.m1.4c\">I_{g,h}=\\left\\{(k,\\ell)\\in\\llbracket K\\rrbracket^{2},k\\in\\{g,h\\}\\text{ or }\\ell\\in\\{g,h\\}\\right\\}</annotation><annotation encoding=\"application/x-llamapun\" id=\"S7.Ex46.m1.4d\">italic_I start_POSTSUBSCRIPT italic_g , italic_h end_POSTSUBSCRIPT = { ( italic_k , roman_\u2113 ) \u2208 \u27e6 italic_K \u27e7 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_k \u2208 { italic_g , italic_h } or roman_\u2113 \u2208 { italic_g , italic_h } } </annotation></semantics></math>","type":"string"},"datatype":"mathml"},"type":"statement","id":"Q5165407$CDB5CA74-9F49-4540-8837-A5C0AF85D9E6","rank":"normal"}]},"sitelinks":{}}}}