Jump to navigation Jump to search


Display information for equation id:math.247552.28 on revision:247552

* Page found: Tautology (logic) (eq math.247552.28)

(force rerendering)

Occurrences on the following pages:

Hash: 34870fa657e4b70f43c3b2593df0c136

TeX (original user input):

R \models S

TeX (checked):

R\models S

LaTeXML (experimental; uses MathML) rendering

MathML (898 B / 353 B) :

R S models 𝑅 𝑆 {\displaystyle R\models S}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle R\models S}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">
      <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">R</mi>
      <mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml"></mo>
      <mi id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">S</mi>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">
        <csymbol cd="latexml" id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">models</csymbol>
        <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝑅</ci>
        <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">𝑆</ci>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle R\models S}</annotation>

SVG (2.551 KB / 1.304 KB) :

upper R models upper S

SVG (MathML can be enabled via browser plugin) rendering

MathML (414 B / 263 B) :

R S {\displaystyle R\models S}
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle R\models S}">
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo>&#x22A8;<!-- ⊨ --></mo>
    <annotation encoding="application/x-tex">{\displaystyle R\models S}</annotation>

SVG (2.561 KB / 1.341 KB) :

{\displaystyle R\models S}

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 Tautology (logic) page


MathML observations



no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results