Jump to navigation Jump to search

General

Display information for equation id:math.222245.34 on revision:222245

* Page found: Isomorphism theorem (eq math.222245.34)

(force rerendering)

Occurrences on the following pages:

Hash: 6162c2c5370f70a73a2d873fe0b4cb25

TeX (original user input):

[B]^\Phi=\{K \in A/\Phi: K \cap B \neq\emptyset\}

TeX (checked):

[B]^{\Phi }=\{K\in A/\Phi :K\cap B\neq \emptyset \}

LaTeXML (experimental; uses MathML) rendering

MathML (4.177 KB / 915 B) :

[ B ] Φ = { K A / Φ : K B } superscript delimited-[] 𝐵 Φ conditional-set 𝐾 𝐴 Φ 𝐾 𝐵 {\displaystyle[B]^{\Phi}=\{K\in A/\Phi:K\cap B\neq\emptyset\}}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle[B]^{\Phi}=\{K\in A/\Phi:K\cap B\neq\emptyset\}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">
      <msup id="p1.1.m1.1.19.1" xref="p1.1.m1.1.19.1.cmml">
        <mrow id="p1.1.m1.1.19.1.2" xref="p1.1.m1.1.19.1.2.1.cmml">
          <mo stretchy="false" id="p1.1.m1.1.1" xref="p1.1.m1.1.19.1.2.1.1.cmml">[</mo>
          <mi id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">B</mi>
          <mo stretchy="false" id="p1.1.m1.1.3" xref="p1.1.m1.1.19.1.2.1.1.cmml">]</mo>
        </mrow>
        <mi mathvariant="normal" id="p1.1.m1.1.4.1" xref="p1.1.m1.1.4.1.cmml">Φ</mi>
      </msup>
      <mo id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">=</mo>
      <mrow id="p1.1.m1.1.19.2" xref="p1.1.m1.1.19.2.1.cmml">
        <mo stretchy="false" id="p1.1.m1.1.6" xref="p1.1.m1.1.19.2.1.1.cmml">{</mo>
        <mrow id="p1.1.m1.1.19.2.2" xref="p1.1.m1.1.19.2.2.cmml">
          <mi id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">K</mi>
          <mo id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml"></mo>
          <mrow id="p1.1.m1.1.19.2.2.1" xref="p1.1.m1.1.19.2.2.1.cmml">
            <mi id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">A</mi>
            <mo id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">/</mo>
            <mi mathvariant="normal" id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">Φ</mi>
          </mrow>
        </mrow>
        <mo id="p1.1.m1.1.12" xref="p1.1.m1.1.19.2.1.1.cmml">:</mo>
        <mrow id="p1.1.m1.1.19.2.3" xref="p1.1.m1.1.19.2.3.cmml">
          <mrow id="p1.1.m1.1.19.2.3.1" xref="p1.1.m1.1.19.2.3.1.cmml">
            <mi id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">K</mi>
            <mo id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml"></mo>
            <mi id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">B</mi>
          </mrow>
          <mo id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml"></mo>
          <mi mathvariant="normal" id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml"></mi>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.18" xref="p1.1.m1.1.19.2.1.1.cmml">}</mo>
      </mrow>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">
        <eq id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5"/>
        <apply id="p1.1.m1.1.19.1.cmml" xref="p1.1.m1.1.19.1">
          <csymbol cd="ambiguous" id="p1.1.m1.1.19.1.1.cmml" xref="p1.1.m1.1.19.1">superscript</csymbol>
          <apply id="p1.1.m1.1.19.1.2.1.cmml" xref="p1.1.m1.1.19.1.2">
            <csymbol cd="latexml" id="p1.1.m1.1.19.1.2.1.1.cmml" xref="p1.1.m1.1.1">delimited-[]</csymbol>
            <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">𝐵</ci>
          </apply>
          <ci id="p1.1.m1.1.4.1.cmml" xref="p1.1.m1.1.4.1">Φ</ci>
        </apply>
        <apply id="p1.1.m1.1.19.2.1.cmml" xref="p1.1.m1.1.19.2">
          <csymbol cd="latexml" id="p1.1.m1.1.19.2.1.1.cmml" xref="p1.1.m1.1.6">conditional-set</csymbol>
          <apply id="p1.1.m1.1.19.2.2.cmml" xref="p1.1.m1.1.19.2.2">
            <in id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8"/>
            <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">𝐾</ci>
            <apply id="p1.1.m1.1.19.2.2.1.cmml" xref="p1.1.m1.1.19.2.2.1">
              <divide id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10"/>
              <ci id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">𝐴</ci>
              <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">Φ</ci>
            </apply>
          </apply>
          <apply id="p1.1.m1.1.19.2.3.cmml" xref="p1.1.m1.1.19.2.3">
            <neq id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16"/>
            <apply id="p1.1.m1.1.19.2.3.1.cmml" xref="p1.1.m1.1.19.2.3.1">
              <intersect id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14"/>
              <ci id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">𝐾</ci>
              <ci id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">𝐵</ci>
            </apply>
            <emptyset id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17"/>
          </apply>
        </apply>
      </apply>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle[B]^{\Phi}=\{K\in A/\Phi:K\cap B\neq\emptyset\}}</annotation>
  </semantics>
</math>

SVG (10.095 KB / 3.938 KB) :

left-bracket upper B right-bracket Superscript normal upper Phi Baseline equals StartSet upper K element-of upper A slash normal upper Phi colon upper K intersection upper B not-equals normal empty-set EndSet

SVG with PNG fallback (MathML can be enabled via browser plugin) rendering

MathML (1.158 KB / 451 B) :

[ B ] Φ = { K A / Φ : K B } {\displaystyle [B]^{\Phi }=\{K\in A/\Phi :K\cap B\neq \emptyset \}}
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle [B]^{\Phi }=\{K\in A/\Phi :K\cap B\neq \emptyset \}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo stretchy="false">[</mo>
        <mi>B</mi>
        <msup>
          <mo stretchy="false">]</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi mathvariant="normal">&#x03A6;<!-- Φ --></mi>
          </mrow>
        </msup>
        <mo>=</mo>
        <mo fence="false" stretchy="false">{</mo>
        <mi>K</mi>
        <mo>&#x2208;<!-- ∈ --></mo>
        <mi>A</mi>
        <mrow class="MJX-TeXAtom-ORD">
          <mo>/</mo>
        </mrow>
        <mi mathvariant="normal">&#x03A6;<!-- Φ --></mi>
        <mo>:</mo>
        <mi>K</mi>
        <mo>&#x2229;<!-- ∩ --></mo>
        <mi>B</mi>
        <mo>&#x2260;<!-- ≠ --></mo>
        <mi mathvariant="normal">&#x2205;<!-- ∅ --></mi>
        <mo fence="false" stretchy="false">}</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle [B]^{\Phi }=\{K\in A/\Phi :K\cap B\neq \emptyset \}}</annotation>
  </semantics>
</math>

SVG (8.393 KB / 3.666 KB) :

{\displaystyle [B]^{\Phi }=\{K\in A/\Phi :K\cap B\neq \emptyset \}}

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 Isomorphism theorem page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results