Jump to navigation Jump to search

General

Display information for equation id:math.239463.0 on revision:239463

* Page found: Turing jump (eq math.239463.0)

(force rerendering)

Occurrences on the following pages:

Hash: 7ebdeb4c28e9930fbf1cc22b9408e9f9

TeX (original user input):

X'= \{x \mid \varphi_x^X(x) \ \mbox{is defined} \}.

TeX (checked):

X'=\{x\mid \varphi _{x}^{X}(x)\ {\mbox{is defined}}\}.

LaTeXML (experimental; uses MathML) rendering

MathML (4.048 KB / 844 B) :

X = { x φ x X ( x ) is defined } . superscript 𝑋 conditional-set 𝑥 superscript subscript 𝜑 𝑥 𝑋 𝑥 is defined {\displaystyle X^{\prime}=\{x\mid\varphi_{x}^{X}(x)\ {\mbox{is defined}}\}.}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle X^{\prime}=\{x\mid\varphi_{x}^{X}(x)\ {\mbox{is defined}}\}.}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.17" xref="p1.1.m1.1.17.2.cmml">
      <mrow id="p1.1.m1.1.17.2" xref="p1.1.m1.1.17.2.cmml">
        <msup id="p1.1.m1.1.17.2.1" xref="p1.1.m1.1.17.2.1.cmml">
          <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">X</mi>
          <mo id="p1.1.m1.1.2.1" xref="p1.1.m1.1.2.1.cmml"></mo>
        </msup>
        <mo id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">=</mo>
        <mrow id="p1.1.m1.1.17.2.2" xref="p1.1.m1.1.17.2.2.1.cmml">
          <mo stretchy="false" id="p1.1.m1.1.4" xref="p1.1.m1.1.17.2.2.1.1.cmml">{</mo>
          <mi id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">x</mi>
          <mo id="p1.1.m1.1.6" xref="p1.1.m1.1.17.2.2.1.1.cmml"></mo>
          <mrow id="p1.1.m1.1.17.2.2.2" xref="p1.1.m1.1.17.2.2.2.cmml">
            <msubsup id="p1.1.m1.1.17.2.2.2.2" xref="p1.1.m1.1.17.2.2.2.2.cmml">
              <mi id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">φ</mi>
              <mi id="p1.1.m1.1.8.1" xref="p1.1.m1.1.8.1.cmml">x</mi>
              <mi id="p1.1.m1.1.9.1" xref="p1.1.m1.1.9.1.cmml">X</mi>
            </msubsup>
            <mo id="p1.1.m1.1.17.2.2.2.1" xref="p1.1.m1.1.17.2.2.2.1.cmml"></mo>
            <mrow id="p1.1.m1.1.17.2.2.2.3" xref="p1.1.m1.1.17.2.2.2.cmml">
              <mo stretchy="false" id="p1.1.m1.1.10" xref="p1.1.m1.1.17.2.2.2.cmml">(</mo>
              <mi id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">x</mi>
              <mo rspace="7.5pt" stretchy="false" id="p1.1.m1.1.12" xref="p1.1.m1.1.17.2.2.2.cmml">)</mo>
            </mrow>
            <mo id="p1.1.m1.1.17.2.2.2.1a" xref="p1.1.m1.1.17.2.2.2.1.cmml"></mo>
            <mtext id="p1.1.m1.1.14" xref="p1.1.m1.1.14a.cmml">is defined</mtext>
          </mrow>
          <mo stretchy="false" id="p1.1.m1.1.15" xref="p1.1.m1.1.17.2.2.1.1.cmml">}</mo>
        </mrow>
      </mrow>
      <mo id="p1.1.m1.1.16" xref="p1.1.m1.1.17.2.cmml">.</mo>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.17.2.cmml" xref="p1.1.m1.1.17">
        <eq id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/>
        <apply id="p1.1.m1.1.17.2.1.cmml" xref="p1.1.m1.1.17.2.1">
          <csymbol cd="ambiguous" id="p1.1.m1.1.17.2.1.1.cmml" xref="p1.1.m1.1.17.2.1">superscript</csymbol>
          <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝑋</ci>
          <ci id="p1.1.m1.1.2.1.cmml" xref="p1.1.m1.1.2.1"></ci>
        </apply>
        <apply id="p1.1.m1.1.17.2.2.1.cmml" xref="p1.1.m1.1.17.2.2">
          <csymbol cd="latexml" id="p1.1.m1.1.17.2.2.1.1.cmml" xref="p1.1.m1.1.4">conditional-set</csymbol>
          <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">𝑥</ci>
          <apply id="p1.1.m1.1.17.2.2.2.cmml" xref="p1.1.m1.1.17.2.2.2">
            <times id="p1.1.m1.1.17.2.2.2.1.cmml" xref="p1.1.m1.1.17.2.2.2.1"/>
            <apply id="p1.1.m1.1.17.2.2.2.2.cmml" xref="p1.1.m1.1.17.2.2.2.2">
              <csymbol cd="ambiguous" id="p1.1.m1.1.17.2.2.2.2.1.cmml" xref="p1.1.m1.1.17.2.2.2.2">superscript</csymbol>
              <apply id="p1.1.m1.1.17.2.2.2.2.2.cmml" xref="p1.1.m1.1.17.2.2.2.2">
                <csymbol cd="ambiguous" id="p1.1.m1.1.17.2.2.2.2.2.1.cmml" xref="p1.1.m1.1.17.2.2.2.2">subscript</csymbol>
                <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">𝜑</ci>
                <ci id="p1.1.m1.1.8.1.cmml" xref="p1.1.m1.1.8.1">𝑥</ci>
              </apply>
              <ci id="p1.1.m1.1.9.1.cmml" xref="p1.1.m1.1.9.1">𝑋</ci>
            </apply>
            <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">𝑥</ci>
            <ci id="p1.1.m1.1.14a.cmml" xref="p1.1.m1.1.14">
              <mtext id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">is defined</mtext>
            </ci>
          </apply>
        </apply>
      </apply>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle X^{\prime}=\{x\mid\varphi_{x}^{X}(x)\ {\mbox{is defined}}\}.}</annotation>
  </semantics>
</math>

SVG (11.163 KB / 4.422 KB) :

upper X prime equals left-brace x bar phi Subscript x Superscript upper X Baseline times left-parenthesis x right-parenthesis times is defined right-brace period

SVG (MathML can be enabled via browser plugin) rendering

MathML (1.202 KB / 446 B) :

X = { x φ x X ( x )   is defined } . {\displaystyle X'=\{x\mid \varphi _{x}^{X}(x)\ {\mbox{is defined}}\}.}
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle X'=\{x\mid \varphi _{x}^{X}(x)\ {\mbox{is defined}}\}.}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <msup>
          <mi>X</mi>
          <mo>&#x2032;</mo>
        </msup>
        <mo>=</mo>
        <mo fence="false" stretchy="false">{</mo>
        <mi>x</mi>
        <mo>&#x2223;<!-- ∣ --></mo>
        <msubsup>
          <mi>&#x03C6;<!-- φ --></mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>x</mi>
          </mrow>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>X</mi>
          </mrow>
        </msubsup>
        <mo stretchy="false">(</mo>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mtext>&#xA0;</mtext>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mtext>is defined</mtext>
          </mstyle>
        </mrow>
        <mo fence="false" stretchy="false">}</mo>
        <mo>.</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle X'=\{x\mid \varphi _{x}^{X}(x)\ {\mbox{is defined}}\}.}</annotation>
  </semantics>
</math>

SVG (9.633 KB / 4.198 KB) :

{\displaystyle X'=\{x\mid \varphi _{x}^{X}(x)\ {\mbox{is defined}}\}.}

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Similar pages

Calculated based on the variables occurring on the entire Turing jump page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results