UNPKG

mathmlben

Version:

Visualization for goldstandard

790 lines (786 loc) 611 kB
<!DOCTYPE html> <html class="client-nojs" lang="en" dir="ltr"> <head> <meta charset="UTF-8"/> <title>Display topics - enwikimath</title> <script>document.documentElement.className=document.documentElement.className.replace(/(^|\s)client-nojs(\s|$)/,"$1client-js$2");</script> <script>(window.RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgCanonicalNamespace":"Special","wgCanonicalSpecialPageName":"DisplayTopics","wgNamespaceNumber":-1,"wgPageName":"Special:DisplayTopics","wgTitle":"DisplayTopics","wgCurRevisionId":0,"wgRevisionId":0,"wgArticleId":0,"wgIsArticle":false,"wgIsRedirect":false,"wgAction":"view","wgUserName":"Admin","wgUserGroups":["bureaucrat","sysop","*","user","autoconfirmed"],"wgCategories":[],"wgBreakFrames":true,"wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgMonthNamesShort":["","Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"],"wgRelevantPageName":"Special:DisplayTopics","wgRelevantArticleId":0,"wgRequestId":"15292ea991a33a5457cae685","wgUserId":1,"wgUserEditCount":179,"wgUserRegistration":1395732936000,"wgUserNewMsgRevisionId":null,"wgIsProbablyEditable":false,"wgRelevantPageIsProbablyEditable":false});mw.loader.state({"site.styles":"ready","noscript":"ready","user.styles":"ready","user":"ready","user.options":"loading","user.tokens":"loading","ext.math.styles":"ready","ext.smw.style":"ready","ext.smw.tooltip.styles":"ready","skins.vector.styles.responsive":"ready","mediawiki.legacy.shared":"ready","mediawiki.legacy.commonPrint":"ready","mediawiki.sectionAnchor":"ready","mediawiki.skinning.interface":"ready","skins.vector.styles":"ready"});mw.loader.implement("user.options@0bx3ja3",function($,jQuery,require,module){mw.user.options.set({"timecorrection":"Offset|0","watchlisttoken":"21e52c447a8229d2b940db0eb95cb5427c98cfd8"});});mw.loader.implement("user.tokens@06mbv65",function($,jQuery,require,module){mw.user.tokens.set({"editToken":"197163bbdc0decfb6d3f037543ebbfbe5a45ca06+\\","patrolToken":"d0e5293789d2e783909d0e51f244c1975a45ca06+\\","watchToken":"f252491d4c485a1dcb36c3bb749129455a45ca06+\\","csrfToken":"197163bbdc0decfb6d3f037543ebbfbe5a45ca06+\\"});});mw.loader.load(["ext.math.scripts","site","mediawiki.page.startup","mediawiki.user","mediawiki.hidpi","mediawiki.page.ready","jquery.tablesorter","mediawiki.searchSuggest","ext.smw.style","skins.vector.js"]);});</script> <link rel="stylesheet" href="/w/A.load.php,,qdebug==false,,alang==en,,amodules==ext.math.styles,,P7Cmediawiki.legacy.commonPrint,,P2Cshared,,P7Cmediawiki.sectionAnchor,,P7Cmediawiki.skinning.interface,,P7Cskins.vector.styles,,P7Cskins.vector.styles.responsive,,aonly==styles,,askin==vector+load.php,,qdebug==false,,alang==en,,amodules==ext.smw.style,,P7Cext.smw.tooltip.styles,,aonly==styles,,askin==vector+load.php,,qdebug==false,,alang==en,,amodules==site.styles,,aonly==styles,,askin==vector,Mcc.W0_lySKyC-.css.pagespeed.cf.pJBQ32dAd4.css"/> <script async="" src="https://en.formulasearchengine.com/w/load.php,qdebug=false,alang=en,amodules=startup,aonly=scripts,askin=vector.pagespeed.jm.0aTVPPbYss.js"></script> <meta name="ResourceLoaderDynamicStyles" content=""/> <meta name="generator" content="MediaWiki 1.30.0-alpha"/> <meta name="robots" content="noindex,nofollow"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> <link rel="shortcut icon" href="/w/images/favicon.ico"/> <link rel="search" type="application/opensearchdescription+xml" href="/w/opensearch_desc.php" title="enwikimath (en)"/> <link rel="EditURI" type="application/rsd+xml" href="https://en.formulasearchengine.com/w/api.php?action=rsd"/> <link rel="alternate" type="application/atom+xml" title="enwikimath Atom feed" href="/w/index.php?title=Special:RecentChanges&amp;feed=atom"/> </head> <body class="mediawiki ltr sitedir-ltr mw-hide-empty-elt ns--1 ns-special mw-special-DisplayTopics page-Special_DisplayTopics rootpage-Special_DisplayTopics skin-vector action-view"> <div id="mw-page-base" class="noprint"></div> <div id="mw-head-base" class="noprint"></div> <div id="content" class="mw-body" role="main"> <a id="top"></a> <div class="mw-indicators mw-body-content"> </div> <h1 id="firstHeading" class="firstHeading" lang="en">Display topics</h1> <div id="bodyContent" class="mw-body-content"> <div id="contentSub"></div> <div id="jump-to-nav" class="mw-jump"> Jump to: <a href="#mw-head">navigation</a>, <a href="#p-search">search</a> </div> <div id="mw-content-text"><p>⧼math-wmc-Queries⧽ </p><table class="wikitable sortable"> <tr> <th> # </th> <th> fId </th> <th> #Var </th> <th> #matches </th> <th> query </th> <th> reference </th></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/1" title="Special:DisplayTopics/1">1</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/2459#math.2459.3" title="Special:PermanentLink/2459">Van_der_Waerden's_theorem-3</a> </td> <td> 0 </td> <td> 1 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle W(2,k)&gt;2^{{k}}/k^{{\varepsilon}}}"> <semantics id="p1.1.m1.1a"> <mrow id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml"> <mrow id="p1.1.m1.1.13.1" xref="p1.1.m1.1.13.1.cmml"> <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">W</mi> <mo id="p1.1.m1.1.13.1.1" xref="p1.1.m1.1.13.1.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.13.1.2c" xref="p1.1.m1.1.13.1.2.cmml"> <mo stretchy="false" id="p1.1.m1.1.13.1.2" xref="p1.1.m1.1.13.1.2.cmml">(</mo> <mn id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">2</mn> <mo id="p1.1.m1.1.13.1.2a" xref="p1.1.m1.1.13.1.2.cmml">,</mo> <mi id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">k</mi> <mo stretchy="false" id="p1.1.m1.1.13.1.2b" xref="p1.1.m1.1.13.1.2.cmml">)</mo> </mrow> </mrow> <mo id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">&gt;</mo> <mrow id="p1.1.m1.1.13.2" xref="p1.1.m1.1.13.2.cmml"> <msup id="p1.1.m1.1.13.2.1" xref="p1.1.m1.1.13.2.1.cmml"> <mn id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">2</mn> <mi id="p1.1.m1.1.9.1" xref="p1.1.m1.1.9.1.cmml">k</mi> </msup> <mo id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">/</mo> <msup id="p1.1.m1.1.13.2.2" xref="p1.1.m1.1.13.2.2.cmml"> <mi id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">k</mi> <mi id="p1.1.m1.1.12.1" xref="p1.1.m1.1.12.1.cmml">ε</mi> </msup> </mrow> </mrow> <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13"> <gt id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7"/> <apply id="p1.1.m1.1.13.1.cmml" xref="p1.1.m1.1.13.1"> <times id="p1.1.m1.1.13.1.1.cmml" xref="p1.1.m1.1.13.1.1"/> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">W</ci> <interval closure="open" id="p1.1.m1.1.13.1.2.cmml" xref="p1.1.m1.1.13.1.2"> <cn type="integer" id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">2</cn> <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">k</ci> </interval> </apply> <apply id="p1.1.m1.1.13.2.cmml" xref="p1.1.m1.1.13.2"> <divide id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10"/> <apply id="p1.1.m1.1.13.2.1.cmml" xref="p1.1.m1.1.13.2.1"> <csymbol cd="ambiguous" id="p1.1.m1.1.13.2.1.1.cmml">superscript</csymbol> <cn type="integer" id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">2</cn> <ci id="p1.1.m1.1.9.1.cmml" xref="p1.1.m1.1.9.1">k</ci> </apply> <apply id="p1.1.m1.1.13.2.2.cmml" xref="p1.1.m1.1.13.2.2"> <csymbol cd="ambiguous" id="p1.1.m1.1.13.2.2.1.cmml">superscript</csymbol> <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">k</ci> <ci id="p1.1.m1.1.12.1.cmml" xref="p1.1.m1.1.12.1">ε</ci> </apply> </apply> </apply> </annotation-xml> <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle W(2,k)&gt;2^{{k}}/k^{{\varepsilon}}}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=00cecdd7d2afa32b326e78ff2717120e&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.667ex; height: 2.833ex; width: 16.833ex;" alt="W(2,k)&gt;2^{{k}}/k^{{\varepsilon }}" data-pagespeed-url-hash="3727682694" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle W(2,k)&gt;2^{k}/k^{\varepsilon }}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>W</mi> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <msup> <mn>2</mn> <mrow class="MJX-TeXAtom-ORD"> <mi>k</mi> </mrow> </msup> <mrow class="MJX-TeXAtom-ORD"> <mo>/</mo> </mrow> <msup> <mi>k</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>&#x03B5;<!-- ε --></mi> </mrow> </msup> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle W(2,k)&gt;2^{k}/k^{\varepsilon }}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/045045535ed2655006f05a36e645307bd33a4e92" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:16.374ex; height:3.176ex;" alt="{\displaystyle W(2,k)&gt;2^{k}/k^{\varepsilon }}" data-pagespeed-url-hash="3022000311" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/2" title="Special:DisplayTopics/2">2</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/4050#math.4050.189" title="Special:PermanentLink/4050">Bounded_variation-189</a> </td> <td> 0 </td> <td> 9 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (X,\Sigma )}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi mathvariant="normal">&#x3a3;<!-- Σ --></mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (X,\Sigma )}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=000138f6a2210ff1f9bb5eb7bc25ab6c&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; height: 2.843ex; width: 6.501ex;" alt="{\displaystyle (X,\Sigma)}" data-pagespeed-url-hash="3556134968" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (X,\Sigma )}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi mathvariant="normal">&#x03A3;<!-- Σ --></mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (X,\Sigma )}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/63c4fcf15808c3dbf52cc4b3fd473e97e231f53f" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:6.501ex; height:2.843ex;" alt="{\displaystyle (X,\Sigma )}" data-pagespeed-url-hash="1104805632" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/3" title="Special:DisplayTopics/3">3</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/4189#math.4189.50" title="Special:PermanentLink/4189">Lindemann–Weierstrass_theorem-50</a> </td> <td> 0 </td> <td> 1 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle(p-1)!^{{n}}}"> <semantics id="p1.1.m1.1a"> <msup id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml"> <mrow id="p1.1.m1.1.8.2" xref="p1.1.m1.1.8.2.cmml"> <mrow id="p1.1.m1.1.8.2.1b"> <mo stretchy="false" id="p1.1.m1.1.8.2.1">(</mo> <mrow id="XM1" xref="XM1.cmml"> <mi id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">p</mi> <mo id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">-</mo> <mn id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">1</mn> </mrow> <mo stretchy="false" id="p1.1.m1.1.8.2.1a">)</mo> </mrow> <mo lspace="0pt" rspace="3.5pt" id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">!</mo> </mrow> <mi id="p1.1.m1.1.7.1" xref="p1.1.m1.1.7.1.cmml">n</mi> </msup> <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8"> <csymbol cd="ambiguous" id="p1.1.m1.1.8.1.cmml">superscript</csymbol> <apply id="p1.1.m1.1.8.2.cmml" xref="p1.1.m1.1.8.2"> <factorial id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6"/> <apply id="XM1.cmml" xref="XM1"> <minus id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/> <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">p</ci> <cn type="integer" id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">1</cn> </apply> </apply> <ci id="p1.1.m1.1.7.1.cmml" xref="p1.1.m1.1.7.1">n</ci> </apply> </annotation-xml> <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle(p-1)!^{{n}}}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=e83857329ed8c124f7d245398c41ffc6&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.667ex; height: 2.5ex; width: 9.667ex;" alt="(p-1)!^{{n}}" data-pagespeed-url-hash="3576179931" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (p-1)!^{n}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>p</mi> <mo>&#x2212;<!-- − --></mo> <mn>1</mn> <mo stretchy="false">)</mo> <msup> <mo>!</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msup> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (p-1)!^{n}}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/caaaaaab187a02e4be6f46e48ce9b80cd9e5d6d1" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:8.847ex; height:2.843ex;" alt="{\displaystyle (p-1)!^{n}}" data-pagespeed-url-hash="2835232102" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/4" title="Special:DisplayTopics/4">4</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/15332#math.15332.68" title="Special:PermanentLink/15332">Orbit_portrait-68</a> </td> <td> 1 </td> <td> 2 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle f_{\qvar@construct{x0}}(z)=z^{2}+c}"> <semantics id="p1.1.m1.1a"> <mrow id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml"> <mrow id="p1.1.m1.1.11.1" xref="p1.1.m1.1.11.1.cmml"> <msub id="p1.1.m1.1.11.1.2" xref="p1.1.m1.1.11.1.2.cmml"> <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">f</mi> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.2.1" xref="p1.1.m1.1.2.1.cmml">x0</mi> </msub> <mo id="p1.1.m1.1.11.1.1" xref="p1.1.m1.1.11.1.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.11.1.3b"> <mo stretchy="false" id="p1.1.m1.1.11.1.3">(</mo> <mi id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">z</mi> <mo stretchy="false" id="p1.1.m1.1.11.1.3a">)</mo> </mrow> </mrow> <mo id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">=</mo> <mrow id="p1.1.m1.1.11.2" xref="p1.1.m1.1.11.2.cmml"> <msup id="p1.1.m1.1.11.2.1" xref="p1.1.m1.1.11.2.1.cmml"> <mi id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">z</mi> <mn id="p1.1.m1.1.8.1" xref="p1.1.m1.1.8.1.cmml">2</mn> </msup> <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">+</mo> <mi id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">c</mi> </mrow> </mrow> <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11"> <eq id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6"/> <apply id="p1.1.m1.1.11.1.cmml" xref="p1.1.m1.1.11.1"> <times id="p1.1.m1.1.11.1.1.cmml" xref="p1.1.m1.1.11.1.1"/> <apply id="p1.1.m1.1.11.1.2.cmml" xref="p1.1.m1.1.11.1.2"> <csymbol cd="ambiguous" id="p1.1.m1.1.11.1.2.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">f</ci> <csymbol cd="mws" name="qvar" id="p1.1.m1.1.2.1.cmml" xref="p1.1.m1.1.2.1">x0</csymbol> </apply> <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">z</ci> </apply> <apply id="p1.1.m1.1.11.2.cmml" xref="p1.1.m1.1.11.2"> <plus id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9"/> <apply id="p1.1.m1.1.11.2.1.cmml" xref="p1.1.m1.1.11.2.1"> <csymbol cd="ambiguous" id="p1.1.m1.1.11.2.1.1.cmml">superscript</csymbol> <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">z</ci> <cn type="integer" id="p1.1.m1.1.8.1.cmml" xref="p1.1.m1.1.8.1">2</cn> </apply> <ci id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">c</ci> </apply> </apply> </annotation-xml> <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle f_{\qvar@construct{x0}}(z)=z^{2}+c}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=96dbbd2846e7c7ecb56194a3e6a53732&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.667ex; height: 2.667ex; width: 15.667ex;" alt="f_{\qvar{x0}}(z)=z^{2}+c" data-pagespeed-url-hash="3236431601" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f_{c}(z)=z^{2}+c}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>c</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>=</mo> <msup> <mi>z</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>2</mn> </mrow> </msup> <mo>+</mo> <mi>c</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f_{c}(z)=z^{2}+c}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/191627a3eebdd6608c9b226786defc468b747502" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:14.071ex; height:3.176ex;" alt="{\displaystyle f_{c}(z)=z^{2}+c}" data-pagespeed-url-hash="1019378453" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/5" title="Special:DisplayTopics/5">5</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/391#math.391.114" title="Special:PermanentLink/391">First-order_logic-114</a> </td> <td> 0 </td> <td> 1 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\forall x\,\forall y\,P(x,y)\Leftrightarrow\forall y\,\forall x%&#10;\,P(x,y)}"> <semantics id="p1.1.m1.1a"> <mrow id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml"> <mrow id="p1.1.m1.1.26.1" xref="p1.1.m1.1.26.1.cmml"> <mo id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">∀</mo> <mrow id="p1.1.m1.1.26.1.1" xref="p1.1.m1.1.26.1.1.cmml"> <mpadded width="+1.7pt" id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml"> <mi id="p1.1.m1.1.2a" xref="p1.1.m1.1.2.cmml">x</mi> </mpadded> <mo id="p1.1.m1.1.26.1.1.1" xref="p1.1.m1.1.26.1.1.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.26.1.1.2" xref="p1.1.m1.1.26.1.1.2.cmml"> <mo id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">∀</mo> <mrow id="p1.1.m1.1.26.1.1.2.1" xref="p1.1.m1.1.26.1.1.2.1.cmml"> <mpadded width="+1.7pt" id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml"> <mi id="p1.1.m1.1.5a" xref="p1.1.m1.1.5.cmml">y</mi> </mpadded> <mo id="p1.1.m1.1.26.1.1.2.1.1" xref="p1.1.m1.1.26.1.1.2.1.1.cmml">⁢</mo> <mi id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">P</mi> <mo id="p1.1.m1.1.26.1.1.2.1.1a" xref="p1.1.m1.1.26.1.1.2.1.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.26.1.1.2.1.2c" xref="p1.1.m1.1.26.1.1.2.1.2.cmml"> <mo stretchy="false" id="p1.1.m1.1.26.1.1.2.1.2" xref="p1.1.m1.1.26.1.1.2.1.2.cmml">(</mo> <mi id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">x</mi> <mo id="p1.1.m1.1.26.1.1.2.1.2a" xref="p1.1.m1.1.26.1.1.2.1.2.cmml">,</mo> <mi id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">y</mi> <mo stretchy="false" id="p1.1.m1.1.26.1.1.2.1.2b" xref="p1.1.m1.1.26.1.1.2.1.2.cmml">)</mo> </mrow> </mrow> </mrow> </mrow> </mrow> <mo id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">⇔</mo> <mrow id="p1.1.m1.1.26.2" xref="p1.1.m1.1.26.2.cmml"> <mo id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">∀</mo> <mrow id="p1.1.m1.1.26.2.1" xref="p1.1.m1.1.26.2.1.cmml"> <mpadded width="+1.7pt" id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml"> <mi id="p1.1.m1.1.15a" xref="p1.1.m1.1.15.cmml">y</mi> </mpadded> <mo id="p1.1.m1.1.26.2.1.1" xref="p1.1.m1.1.26.2.1.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.26.2.1.2" xref="p1.1.m1.1.26.2.1.2.cmml"> <mo id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">∀</mo> <mrow id="p1.1.m1.1.26.2.1.2.1" xref="p1.1.m1.1.26.2.1.2.1.cmml"> <mpadded width="+1.7pt" id="p1.1.m1.1.18" xref="p1.1.m1.1.18.cmml"> <mi id="p1.1.m1.1.18a" xref="p1.1.m1.1.18.cmml">x</mi> </mpadded> <mo id="p1.1.m1.1.26.2.1.2.1.1" xref="p1.1.m1.1.26.2.1.2.1.1.cmml">⁢</mo> <mi id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">P</mi> <mo id="p1.1.m1.1.26.2.1.2.1.1a" xref="p1.1.m1.1.26.2.1.2.1.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.26.2.1.2.1.2c" xref="p1.1.m1.1.26.2.1.2.1.2.cmml"> <mo stretchy="false" id="p1.1.m1.1.26.2.1.2.1.2" xref="p1.1.m1.1.26.2.1.2.1.2.cmml">(</mo> <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">x</mi> <mo id="p1.1.m1.1.26.2.1.2.1.2a" xref="p1.1.m1.1.26.2.1.2.1.2.cmml">,</mo> <mi id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">y</mi> <mo stretchy="false" id="p1.1.m1.1.26.2.1.2.1.2b" xref="p1.1.m1.1.26.2.1.2.1.2.cmml">)</mo> </mrow> </mrow> </mrow> </mrow> </mrow> </mrow> <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26"> <ci id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">normal-⇔</ci> <apply id="p1.1.m1.1.26.1.cmml" xref="p1.1.m1.1.26.1"> <csymbol cd="latexml" id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">for-all</csymbol> <apply id="p1.1.m1.1.26.1.1.cmml" xref="p1.1.m1.1.26.1.1"> <times id="p1.1.m1.1.26.1.1.1.cmml" xref="p1.1.m1.1.26.1.1.1"/> <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">x</ci> <apply id="p1.1.m1.1.26.1.1.2.cmml" xref="p1.1.m1.1.26.1.1.2"> <csymbol cd="latexml" id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">for-all</csymbol> <apply id="p1.1.m1.1.26.1.1.2.1.cmml" xref="p1.1.m1.1.26.1.1.2.1"> <times id="p1.1.m1.1.26.1.1.2.1.1.cmml" xref="p1.1.m1.1.26.1.1.2.1.1"/> <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">y</ci> <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">P</ci> <interval closure="open" id="p1.1.m1.1.26.1.1.2.1.2.cmml" xref="p1.1.m1.1.26.1.1.2.1.2"> <ci id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">x</ci> <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">y</ci> </interval> </apply> </apply> </apply> </apply> <apply id="p1.1.m1.1.26.2.cmml" xref="p1.1.m1.1.26.2"> <csymbol cd="latexml" id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">for-all</csymbol> <apply id="p1.1.m1.1.26.2.1.cmml" xref="p1.1.m1.1.26.2.1"> <times id="p1.1.m1.1.26.2.1.1.cmml" xref="p1.1.m1.1.26.2.1.1"/> <ci id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">y</ci> <apply id="p1.1.m1.1.26.2.1.2.cmml" xref="p1.1.m1.1.26.2.1.2"> <csymbol cd="latexml" id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">for-all</csymbol> <apply id="p1.1.m1.1.26.2.1.2.1.cmml" xref="p1.1.m1.1.26.2.1.2.1"> <times id="p1.1.m1.1.26.2.1.2.1.1.cmml" xref="p1.1.m1.1.26.2.1.2.1.1"/> <ci id="p1.1.m1.1.18.cmml" xref="p1.1.m1.1.18">x</ci> <ci id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">P</ci> <interval closure="open" id="p1.1.m1.1.26.2.1.2.1.2.cmml" xref="p1.1.m1.1.26.2.1.2.1.2"> <ci id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">x</ci> <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">y</ci> </interval> </apply> </apply> </apply> </apply> </apply> </annotation-xml> <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle\forall x\,\forall y\,P(x,y)\Leftrightarrow\forall y\,\forall x% \,P(x,y)}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=0853e868640db6db59c7bf82483ae01d&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.667ex; height: 2.5ex; width: 30.5ex;" alt="\forall x\,\forall y\,P(x,y)\Leftrightarrow \forall y\,\forall x\,P(x,y)" data-pagespeed-url-hash="3793527728" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \forall x\,\forall y\,P(x,y)\Leftrightarrow \forall y\,\forall x\,P(x,y)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>x</mi> <mspace width="thinmathspace"/> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>y</mi> <mspace width="thinmathspace"/> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">&#x21D4;<!-- ⇔ --></mo> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>y</mi> <mspace width="thinmathspace"/> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>x</mi> <mspace width="thinmathspace"/> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall x\,\forall y\,P(x,y)\Leftrightarrow \forall y\,\forall x\,P(x,y)}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/b2bd10da835e07d3f2df8a14ea462278e5a23409" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:29.451ex; height:2.843ex;" alt="{\displaystyle \forall x\,\forall y\,P(x,y)\Leftrightarrow \forall y\,\forall x\,P(x,y)}" data-pagespeed-url-hash="4075345840" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/6" title="Special:DisplayTopics/6">6</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/6937#math.6937.5" title="Special:PermanentLink/6937">Clenshaw_algorithm-5</a> </td> <td> 0 </td> <td> 8 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>&#x3b1;<!-- α --></mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha (x)}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=000ad1eb8a2c2182ff048350cc9eb0e8&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; height: 2.843ex; width: 4.668ex;" alt="{\displaystyle \alpha(x)}" data-pagespeed-url-hash="2106747584" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \alpha (x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>&#x03B1;<!-- α --></mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha (x)}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/43941ef40b4eb751a8daea118d0012ea998f5610" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:4.627ex; height:2.843ex;" alt="{\displaystyle \alpha (x)}" data-pagespeed-url-hash="3005649952" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/7" title="Special:DisplayTopics/7">7</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/25610#math.25610.24" title="Special:PermanentLink/25610">Isolation_lemma-24</a> </td> <td> 0 </td> <td> 8 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>&#x3b1;<!-- α --></mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha (x)}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=000ad1eb8a2c2182ff048350cc9eb0e8&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; height: 2.843ex; width: 4.668ex;" alt="{\displaystyle \alpha(x)}" data-pagespeed-url-hash="2106747584" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \alpha (x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>&#x03B1;<!-- α --></mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha (x)}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/43941ef40b4eb751a8daea118d0012ea998f5610" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:4.627ex; height:2.843ex;" alt="{\displaystyle \alpha (x)}" data-pagespeed-url-hash="3005649952" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/8" title="Special:DisplayTopics/8">8</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/27419#math.27419.4" title="Special:PermanentLink/27419">Singularity_spectrum-4</a> </td> <td> 0 </td> <td> 8 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>&#x3b1;<!-- α --></mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha (x)}</annotation> </semantics> </math></span><img src="https://en.formulasearchengine.com/w/index.php?title=Special:MathShowImage&amp;hash=000ad1eb8a2c2182ff048350cc9eb0e8&amp;mode=latexml" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; height: 2.843ex; width: 4.668ex;" alt="{\displaystyle \alpha(x)}" data-pagespeed-url-hash="2106747584" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \alpha (x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>&#x03B1;<!-- α --></mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha (x)}</annotation> </semantics> </math></span><img src="https://api.formulasearchengine.com/v1/media/math/render/svg/43941ef40b4eb751a8daea118d0012ea998f5610" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.838ex; width:4.627ex; height:2.843ex;" alt="{\displaystyle \alpha (x)}" data-pagespeed-url-hash="3005649952" onload="pagespeed.CriticalImages.checkImageForCriticality(this);"/></span> </td></tr> <tr> <td> <a href="https://en.formulasearchengine.com/wiki/Special:DisplayTopics/9" title="Special:DisplayTopics/9">9</a> </td> <td> <a href="https://en.formulasearchengine.com/wiki/Special:PermanentLink/14488#math.14488.36" title="Special:PermanentLink/14488">Time-evolving_block_decimation-36</a> </td> <td> 7 </td> <td> 1 </td> <td> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style=""><math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle|{\Psi}\rangle=\sum_{\qvar@construct{x0}}\Gamma_{{%&#10;\qvar@construct{x1}}}^{{[1]i_{1}}}\lambda_{{\alpha_{1}}}^{{[1]}}\Gamma_{{%&#10;\alpha_{\qvar@construct{x2}}\alpha_{2}}}^{{[2]i_{\qvar@construct{x3}}}}\lambda%&#10;_{\qvar@construct{x4}}^{{\qvar@construct{x5}}}|{i_{1}i_{2}}\rangle|{%&#10;\qvar@construct{x6}}\rangle}"> <semantics id="p1.1.m1.1a"> <mrow id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml"> <mrow id="p1.1.m1.1.28.1b" xref="p1.1.m1.1.28.1.cmml"> <mo fence="true" stretchy="false" id="p1.1.m1.1.28.1" xref="p1.1.m1.1.28.1.cmml">|</mo> <mi mathvariant="normal" id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">Ψ</mi> <mo stretchy="false" id="p1.1.m1.1.28.1a" xref="p1.1.m1.1.28.1.cmml">⟩</mo> </mrow> <mo id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">=</mo> <mrow id="p1.1.m1.1.28.2" xref="p1.1.m1.1.28.2.cmml"> <mstyle displaystyle="true" id="p1.1.m1.1.28.2.1" xref="p1.1.m1.1.28.2.1.cmml"> <munder id="p1.1.m1.1.28.2.1a" xref="p1.1.m1.1.28.2.1.cmml"> <mo largeop="true" movablelimits="false" symmetric="true" id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">∑</mo> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.6.1" xref="p1.1.m1.1.6.1.cmml">x0</mi> </munder> </mstyle> <mrow id="p1.1.m1.1.28.2.2" xref="p1.1.m1.1.28.2.2.cmml"> <msubsup id="p1.1.m1.1.28.2.2.2" xref="p1.1.m1.1.28.2.2.2.cmml"> <mi mathvariant="normal" id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">Γ</mi> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.8.1" xref="p1.1.m1.1.8.1.cmml">x1</mi> <mrow id="p1.1.m1.1.9.1" xref="p1.1.m1.1.9.1.cmml"> <mrow id="p1.1.m1.1.9.1.7b" xref="p1.1.m1.1.9.1.7.cmml"> <mo stretchy="false" id="p1.1.m1.1.9.1.7" xref="p1.1.m1.1.9.1.7.cmml">[</mo> <mn id="p1.1.m1.1.9.1.2" xref="p1.1.m1.1.9.1.2.cmml">1</mn> <mo stretchy="false" id="p1.1.m1.1.9.1.7a" xref="p1.1.m1.1.9.1.7.cmml">]</mo> </mrow> <mo id="p1.1.m1.1.9.1.6" xref="p1.1.m1.1.9.1.6.cmml">⁢</mo> <msub id="p1.1.m1.1.9.1.8" xref="p1.1.m1.1.9.1.8.cmml"> <mi id="p1.1.m1.1.9.1.4" xref="p1.1.m1.1.9.1.4.cmml">i</mi> <mn id="p1.1.m1.1.9.1.5.1" xref="p1.1.m1.1.9.1.5.1.cmml">1</mn> </msub> </mrow> </msubsup> <mo id="p1.1.m1.1.28.2.2.1" xref="p1.1.m1.1.28.2.2.1.cmml">⁢</mo> <msubsup id="p1.1.m1.1.28.2.2.3" xref="p1.1.m1.1.28.2.2.3.cmml"> <mi id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">λ</mi> <msub id="p1.1.m1.1.11.1" xref="p1.1.m1.1.11.1.cmml"> <mi id="p1.1.m1.1.11.1.1" xref="p1.1.m1.1.11.1.1.cmml">α</mi> <mn id="p1.1.m1.1.11.1.2.1" xref="p1.1.m1.1.11.1.2.1.cmml">1</mn> </msub> <mrow id="p1.1.m1.1.12.1b" xref="p1.1.m1.1.12.1.cmml"> <mo stretchy="false" id="p1.1.m1.1.12.1" xref="p1.1.m1.1.12.1.cmml">[</mo> <mn id="p1.1.m1.1.12.1.2" xref="p1.1.m1.1.12.1.2.cmml">1</mn> <mo stretchy="false" id="p1.1.m1.1.12.1a" xref="p1.1.m1.1.12.1.cmml">]</mo> </mrow> </msubsup> <mo id="p1.1.m1.1.28.2.2.1a" xref="p1.1.m1.1.28.2.2.1.cmml">⁢</mo> <msubsup id="p1.1.m1.1.28.2.2.4" xref="p1.1.m1.1.28.2.2.4.cmml"> <mi mathvariant="normal" id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">Γ</mi> <mrow id="p1.1.m1.1.14.1" xref="p1.1.m1.1.14.1.cmml"> <msub id="p1.1.m1.1.14.1.6" xref="p1.1.m1.1.14.1.6.cmml"> <mi id="p1.1.m1.1.14.1.1" xref="p1.1.m1.1.14.1.1.cmml">α</mi> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.14.1.2.1" xref="p1.1.m1.1.14.1.2.1.cmml">x2</mi> </msub> <mo id="p1.1.m1.1.14.1.5" xref="p1.1.m1.1.14.1.5.cmml">⁢</mo> <msub id="p1.1.m1.1.14.1.7" xref="p1.1.m1.1.14.1.7.cmml"> <mi id="p1.1.m1.1.14.1.3" xref="p1.1.m1.1.14.1.3.cmml">α</mi> <mn id="p1.1.m1.1.14.1.4.1" xref="p1.1.m1.1.14.1.4.1.cmml">2</mn> </msub> </mrow> <mrow id="p1.1.m1.1.15.1" xref="p1.1.m1.1.15.1.cmml"> <mrow id="p1.1.m1.1.15.1.7b" xref="p1.1.m1.1.15.1.7.cmml"> <mo stretchy="false" id="p1.1.m1.1.15.1.7" xref="p1.1.m1.1.15.1.7.cmml">[</mo> <mn id="p1.1.m1.1.15.1.2" xref="p1.1.m1.1.15.1.2.cmml">2</mn> <mo stretchy="false" id="p1.1.m1.1.15.1.7a" xref="p1.1.m1.1.15.1.7.cmml">]</mo> </mrow> <mo id="p1.1.m1.1.15.1.6" xref="p1.1.m1.1.15.1.6.cmml">⁢</mo> <msub id="p1.1.m1.1.15.1.8" xref="p1.1.m1.1.15.1.8.cmml"> <mi id="p1.1.m1.1.15.1.4" xref="p1.1.m1.1.15.1.4.cmml">i</mi> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.15.1.5.1" xref="p1.1.m1.1.15.1.5.1.cmml">x3</mi> </msub> </mrow> </msubsup> <mo id="p1.1.m1.1.28.2.2.1b" xref="p1.1.m1.1.28.2.2.1.cmml">⁢</mo> <msubsup id="p1.1.m1.1.28.2.2.5" xref="p1.1.m1.1.28.2.2.5.cmml"> <mi id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">λ</mi> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.17.1" xref="p1.1.m1.1.17.1.cmml">x4</mi> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.18.1" xref="p1.1.m1.1.18.1.cmml">x5</mi> </msubsup> <mo id="p1.1.m1.1.28.2.2.1c" xref="p1.1.m1.1.28.2.2.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.28.2.2.6b" xref="p1.1.m1.1.28.2.2.6.cmml"> <mo fence="true" stretchy="false" id="p1.1.m1.1.28.2.2.6" xref="p1.1.m1.1.28.2.2.6.cmml">|</mo> <mrow id="XM1" xref="XM1.cmml"> <msub id="XM1.2" xref="XM1.2.cmml"> <mi id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">i</mi> <mn id="p1.1.m1.1.21.1" xref="p1.1.m1.1.21.1.cmml">1</mn> </msub> <mo id="XM1.1" xref="XM1.1.cmml">⁢</mo> <msub id="XM1.3" xref="XM1.3.cmml"> <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">i</mi> <mn id="p1.1.m1.1.23.1" xref="p1.1.m1.1.23.1.cmml">2</mn> </msub> </mrow> <mo stretchy="false" id="p1.1.m1.1.28.2.2.6a" xref="p1.1.m1.1.28.2.2.6.cmml">⟩</mo> </mrow> <mo id="p1.1.m1.1.28.2.2.1d" xref="p1.1.m1.1.28.2.2.1.cmml">⁢</mo> <mrow id="p1.1.m1.1.28.2.2.7b" xref="p1.1.m1.1.28.2.2.7.cmml"> <mo fence="true" stretchy="false" id="p1.1.m1.1.28.2.2.7" xref="p1.1.m1.1.28.2.2.7.cmml">|</mo> <mi mathcolor="red" mathvariant="italic" id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">x6</mi> <mo stretchy="false" id="p1.1.m1.1.28.2.2.7a" xref="p1.1.m1.1.28.2.2.7.cmml">⟩</mo> </mrow> </mrow> </mrow> </mrow> <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"> <apply id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28"> <eq id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4"/> <apply id="p1.1.m1.1.28.1a.cmml" xref="p1.1.m1.1.28.1"> <csymbol cd="latexml" id="p1.1.m1.1.28.1.cmml" xref="p1.1.m1.1.28.1">ket</csymbol> <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">normal-Ψ</ci> </apply> <apply id="p1.1.m1.1.28.2.cmml" xref="p1.1.m1.1.28.2"> <apply id="p1.1.m1.1.28.2.1.cmml" xref="p1.1.m1.1.28.2.1"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.1.1.cmml">subscript</csymbol> <sum id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5"/> <csymbol cd="mws" name="qvar" id="p1.1.m1.1.6.1.cmml" xref="p1.1.m1.1.6.1">x0</csymbol> </apply> <apply id="p1.1.m1.1.28.2.2.cmml" xref="p1.1.m1.1.28.2.2"> <times id="p1.1.m1.1.28.2.2.1.cmml" xref="p1.1.m1.1.28.2.2.1"/> <apply id="p1.1.m1.1.28.2.2.2.cmml" xref="p1.1.m1.1.28.2.2.2"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.2.2.1.cmml">superscript</csymbol> <apply id="p1.1.m1.1.28.2.2.2.2.cmml"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.2.2.2.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">normal-Γ</ci> <csymbol cd="mws" name="qvar" id="p1.1.m1.1.8.1.cmml" xref="p1.1.m1.1.8.1">x1</csymbol> </apply> <apply id="p1.1.m1.1.9.1.cmml" xref="p1.1.m1.1.9.1"> <times id="p1.1.m1.1.9.1.6.cmml" xref="p1.1.m1.1.9.1.6"/> <apply id="p1.1.m1.1.9.1.7a.cmml" xref="p1.1.m1.1.9.1.7"> <csymbol cd="latexml" id="p1.1.m1.1.9.1.7.cmml" xref="p1.1.m1.1.9.1.7">delimited-[]</csymbol> <cn type="integer" id="p1.1.m1.1.9.1.2.cmml" xref="p1.1.m1.1.9.1.2">1</cn> </apply> <apply id="p1.1.m1.1.9.1.8.cmml" xref="p1.1.m1.1.9.1.8"> <csymbol cd="ambiguous" id="p1.1.m1.1.9.1.8.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.9.1.4.cmml" xref="p1.1.m1.1.9.1.4">i</ci> <cn type="integer" id="p1.1.m1.1.9.1.5.1.cmml" xref="p1.1.m1.1.9.1.5.1">1</cn> </apply> </apply> </apply> <apply id="p1.1.m1.1.28.2.2.3.cmml" xref="p1.1.m1.1.28.2.2.3"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.2.3.1.cmml">superscript</csymbol> <apply id="p1.1.m1.1.28.2.2.3.2.cmml"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.2.3.2.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">λ</ci> <apply id="p1.1.m1.1.11.1.cmml" xref="p1.1.m1.1.11.1"> <csymbol cd="ambiguous" id="p1.1.m1.1.11.1.3.cmml">subscript</csymbol> <ci id="p1.1.m1.1.11.1.1.cmml" xref="p1.1.m1.1.11.1.1">α</ci> <cn type="integer" id="p1.1.m1.1.11.1.2.1.cmml" xref="p1.1.m1.1.11.1.2.1">1</cn> </apply> </apply> <apply id="p1.1.m1.1.12.1a.cmml" xref="p1.1.m1.1.12.1"> <csymbol cd="latexml" id="p1.1.m1.1.12.1.cmml" xref="p1.1.m1.1.12.1">delimited-[]</csymbol> <cn type="integer" id="p1.1.m1.1.12.1.2.cmml" xref="p1.1.m1.1.12.1.2">1</cn> </apply> </apply> <apply id="p1.1.m1.1.28.2.2.4.cmml" xref="p1.1.m1.1.28.2.2.4"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.2.4.1.cmml">superscript</csymbol> <apply id="p1.1.m1.1.28.2.2.4.2.cmml"> <csymbol cd="ambiguous" id="p1.1.m1.1.28.2.2.4.2.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">normal-Γ</ci> <apply id="p1.1.m1.1.14.1.cmml" xref="p1.1.m1.1.14.1"> <times id="p1.1.m1.1.14.1.5.cmml" xref="p1.1.m1.1.14.1.5"/> <apply id="p1.1.m1.1.14.1.6.cmml" xref="p1.1.m1.1.14.1.6"> <csymbol cd="ambiguous" id="p1.1.m1.1.14.1.6.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.14.1.1.cmml" xref="p1.1.m1.1.14.1.1">α</ci> <csymbol cd="mws" name="qvar" id="p1.1.m1.1.14.1.2.1.cmml" xref="p1.1.m1.1.14.1.2.1">x2</csymbol> </apply> <apply id="p1.1.m1.1.14.1.7.cmml" xref="p1.1.m1.1.14.1.7"> <csymbol cd="ambiguous" id="p1.1.m1.1.14.1.7.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.14.1.3.cmml" xref="p1.1.m1.1.14.1.3">α</ci> <cn type="integer" id="p1.1.m1.1.14.1.4.1.cmml" xref="p1.1.m1.1.14.1.4.1">2</cn> </apply> </apply> </apply> <apply id="p1.1.m1.1.15.1.cmml" xref="p1.1.m1.1.15.1"> <times id="p1.1.m1.1.15.1.6.cmml" xref="p1.1.m1.1.15.1.6"/> <apply id="p1.1.m1.1.15.1.7a.cmml" xref="p1.1.m1.1.15.1.7"> <csymbol cd="latexml" id="p1.1.m1.1.15.1.7.cmml" xref="p1.1.m1.1.15.1.7">delimited-[]</csymbol> <cn type="integer" id="p1.1.m1.1.15.1.2.cmml" xref="p1.1.m1.1.15.1.2">2</cn> </apply> <apply id="p1.1.m1.1.15.1.8.cmml" xref="p1.1.m1.1.15.1.8"> <csymbol cd="ambiguous" id="p1.1.m1.1.15.1.8.1.cmml">subscript</csymbol> <ci id="p1.1.m1.1.15.1.4.cmml" xref="p1.1.m1.1.15.1.4">i</ci> <csymbol cd="mws" name="qvar" id="p1.1.m1.1.15.1.5.