Skip to content
Snippets Groups Projects
Commit a861e302 authored by m-iancu's avatar m-iancu
Browse files

more in examples

parent 89b4a44b
No related branches found
No related tags found
No related merge requests found
Pipeline #
Show whitespace changes
Inline Side-by-side
mmt-stex/examples/mmt-in-latex/example.omdoc
+ 51
− 15
View file @ a861e302
<omdoc base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex">
<omdoc base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex">
<theory name="semigroup" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex">
<theory name="semigroup" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex">
<import from="http://mathhub.info/smglom/numberfields/arithmetics.omdoc?arithmetics"></import><constant name="Anon1">
</theory><theory name="monoid" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex">
<import from="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex?semigroup"></import><constant name="neut">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#172.12.0:186.12.14"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format="unparsed"><![CDATA[G # e]]></om:text></om:OMSF></om:OMOBJ></type>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMATTR><om:OMATP><om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="narration"></om:OMS><om:OMFOREIGN><div class="ltx_para" id="semigroup.p1" xmlns:omdoc="http://omdoc.org/ns" xmlns="http://www.w3.org/1999/xhtml" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML">
<p about="#semigroup.p1.p1" class="ltx_p" id="semigroup.p1.p1">“gimport[smglom/mv]structure</p>
</div></om:OMFOREIGN></om:OMATP>
<om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="opaque"></om:OMS>
</om:OMATTR></om:OMOBJ></definition>
</constant>
</theory><theory name="monoid" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex">
<import from="http://mathhub.info/smglom/numberfields/arithmetics.omdoc?arithmetics"></import><import from="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex?semigroup"></import><constant name="structure">
</constant><constant name="eunit">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#187.13.0:230.13.43"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format="unparsed"><![CDATA[ded (forall [x] x + e = x + e = e)]]></om:text></om:OMSF></om:OMOBJ></type>
</constant><constant name="">
<notations><notation dimension="2" precedence="0" fixity="mixfix" arguments="⟨ 1,… ⟩"> <scope languages="mathml" priority="0"/> </notation></notations>
</constant><constant name="unit">
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMATTR><om:OMATP><om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="narration"></om:OMS><om:OMFOREIGN><div class="ltx_para" id="monoid.p1" xmlns:omdoc="http://omdoc.org/ns" xmlns="http://www.w3.org/1999/xhtml" xmlns:stex="http://kwarc.info/ns/sTeX">
<p stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/foo.tex#textrange(from=7;1,to=10;10)" about="#monoid.p1.p1" class="ltx_p" id="monoid.p1.p1"></p>
<notations><notation dimension="3" precedence="0" fixity="mixfix" arguments="unit"> <scope languages="" priority="0"/> </notation></notations>
</constant><constant name="monoid.definition6">
<metadata><meta property="http://cds.omdoc.org/urtheories?Informal?role"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="defines"></om:OMS>
<om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="monoid" name="unit"></om:OMS>
</om:OMA></om:OMOBJ></meta><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex#-1.12.1:-1.16.17"/></metadata>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMATTR><om:OMATP><om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="narration"></om:OMS><om:OMFOREIGN><div class="CMP">
<p stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=12;20)" about="#monoid.definition6.CMP1.p1" class="ltx_p" id="monoid.definition6.CMP1.p1" xmlns:omdoc="http://omdoc.org/ns" xmlns="http://www.w3.org/1999/xhtml" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML">Let <immtref pos="0_1"></immtref> be a <immtref pos="0_2"></immtref>,
then we call en element <immtref pos="0_3"></immtref> in <immtref pos="0_4"></immtref> a
<immtref pos="0_5"></immtref>, iff <immtref pos="0_6"></immtref> for all <immtref pos="0_7"></immtref> in <a content="G" class="ltx_ref ltx_markedasmath mmtRef" title="" href="4"></a><span class="ltx_text ltx_markedasmath"> </span>.</p>
</div></om:OMFOREIGN></om:OMATP>
<om:OMA>
<om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="opaque"></om:OMS>
<om:OMA>
<om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="arithmetics" name="multiplication"></om:OMS>
<om:OMV name="\mvstruct"></om:OMV><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="unknown"></om:OMS>
<om:OMBVAR><om:OMV name="G/0"></om:OMV></om:OMBVAR>
<om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="free"></om:OMS>
<om:OMBVAR><om:OMV name="G"><type><om:OMV name="G/0"></om:OMV></type></om:OMV></om:OMBVAR>
<om:OMV name="G"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#271.10.12:271.10.12"/></metadata></om:OMV>
</om:OMBIND>
</om:OMBIND><om:OMSF><om:text format="unknown"><![CDATA[+]]></om:text></om:OMSF>
</om:OMA><om:OMATTR><om:OMATP><om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="narration"></om:OMS><om:OMFOREIGN><span class="stex-ref">
semigroup
</span></om:OMFOREIGN></om:OMATP>
<om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="semigroup" name="semigroup"></om:OMS>
</om:OMATTR><om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="monoid" name="neut"></om:OMS><om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="semigroup" name="base"></om:OMS><om:OMATTR><om:OMATP><om:OMS base="http://cds.omdoc.org/urtheories" module="Informal" name="narration"></om:OMS><om:OMFOREIGN><span class="stex-ref">
<b>
unit
</b>
</span></om:OMFOREIGN></om:OMATP>
<om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="monoid" name="unit"></om:OMS>
</om:OMATTR><om:OMS base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" module="monoid" name="eunit"></om:OMS><om:OMV name="𝑥"></om:OMV>
</om:OMA>
</om:OMATTR></om:OMOBJ></definition>
......
mmt-stex/examples/mmt-in-latex/example.tex.mmt.omdoc
+ 40
− 9
View file @ a861e302
<omdoc base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#0.0.0:242.19.0"/></metadata>
<theory name="semigroup" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex" meta="http://kwarc.info/test?FOL">
<omdoc base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#0.0.0:306.14.0"/></metadata>
<theory name="semigroup" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" meta="http://kwarc.info/example?FOL">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#8.2.4:66.4.5"/></metadata>
</theory><theory name="monoid" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex" meta="http://kwarc.info/test?FOL">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#0.0.0:77.2.1"/></metadata><import from="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex?arithmetics"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#54.1.2:75.1.23"/></metadata></import>
</theory><theory name="monoid" base="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex" meta="http://kwarc.info/example?FOL">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#72.6.4:237.15.5"/></metadata><import from="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex?semigroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#126.8.4:145.8.23"/></metadata></import><document name="mixref1"><metadata><meta property="http://purl.org/dc/terms?_?title"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format=""><![CDATA[axioms]]></om:text></om:OMSF></om:OMOBJ></meta><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#149.10.2:168.10.21"/></metadata><constant name="neut">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#172.12.0:186.12.14"/></metadata>
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#78.3.0:305.13.1"/></metadata><import from="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex?arithmetics"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#129.4.2:150.4.23"/></metadata></import><import from="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex?semigroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#153.5.2:172.5.21"/></metadata></import><document name="mixref1"><metadata><meta property="http://purl.org/dc/terms?_?title"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format=""><![CDATA[example]]></om:text></om:OMSF></om:OMOBJ></meta><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#175.6.2:258.9.4"/></metadata><constant name="neut">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#195.7.0:209.7.14"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format="unparsed"><![CDATA[G # e]]></om:text></om:OMSF></om:OMOBJ></type>
</constant><constant name="eunit">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/test/mmt-in-latex/test.tex.mmt#187.13.0:230.13.43"/></metadata>
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#210.8.0:253.8.43"/></metadata>
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format="unparsed"><![CDATA[ded (forall [x] x + e = x + e = e)]]></om:text></om:OMSF></om:OMOBJ></type>
</constant></document>
</constant></document><constant name="mixref2">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#261.10.2:273.10.14"/></metadata>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="unknown"></om:OMS>
<om:OMBVAR><om:OMV name="/G/0"></om:OMV></om:OMBVAR>
<om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="free"></om:OMS>
<om:OMBVAR><om:OMV name="G"><type><om:OMV name="/G/0"></om:OMV></type></om:OMV></om:OMBVAR>
<om:OMV name="G"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#271.10.12:271.10.12"/></metadata></om:OMV>
</om:OMBIND>
</om:OMBIND></om:OMOBJ></definition>
</constant><constant name="mixref3">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#276.11.2:288.11.14"/></metadata>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMSF><om:text format="unknown"><![CDATA[+]]></om:text></om:OMSF></om:OMOBJ></definition>
</constant><constant name="mixref4">
<metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#291.12.2:303.12.14"/></metadata>
<definition><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="unknown"></om:OMS>
<om:OMBVAR><om:OMV name="/G/0"></om:OMV></om:OMBVAR>
<om:OMBIND>
<om:OMS base="http://cds.omdoc.org/mmt" module="mmt" name="free"></om:OMS>
<om:OMBVAR><om:OMV name="G"><type><om:OMV name="/G/0"></om:OMV></type></om:OMV></om:OMBVAR>
<om:OMV name="G"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="file:/home/mihnea/kwarc/papers/immt/mmt-stex/examples/mmt-in-latex/example.tex.mmt#301.12.12:301.12.12"/></metadata></om:OMV>
</om:OMBIND>
</om:OMBIND></om:OMOBJ></definition>
</constant>
</theory>
</omdoc>
\ No newline at end of file
mmt-stex/examples/mmt-in-latex/example.tex.omdoc
+ 1
− 1
View file @ a861e302
......@@ -34,7 +34,7 @@
<omdoc:symbol name="unit" xml:id="unit.def.sym" about="#unit.def.sym" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=16;17)"/>
<omdoc:definition for="unit" xml:id="monoid.definition6" about="#monoid.definition6" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=16;17)">
<omdoc:CMP xml:id="monoid.definition6.CMP1" about="#monoid.definition6.CMP1" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=12;20)">
<p xmlns="http://www.w3.org/1999/xhtml" id="monoid.definition6.CMP1.p1" class="ltx_p" about="#monoid.definition6.CMP1.p1" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=12;20)">Let <om:OMOBJ stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;50,to=13;30)"><om:OMA><om:OMS cd="arithmetics" name="multiplication"/><om:OMV name="\mvstruct"/><om:OMATTR><om:OMATP><om:OMS cd="OMDoc" name="verbalizes"/><om:FOREIGN encoding="mtext"><a href="2" title="" class="ltx_ref mmtRef" content="G"/> </om:FOREIGN></om:OMATP><om:OMS cd="OMDoc" name="infObj"/></om:OMATTR></om:OMA><om:OMATTR><om:OMATP><om:OMS cd="OMDoc" name="verbalizes"/><om:FOREIGN encoding="mtext"><a href="3" title="" class="ltx_ref mmtRef" content="+"/> </om:FOREIGN></om:OMATP><om:OMS cd="OMDoc" name="infObj"/></om:OMATTR></om:OMOBJ> be a <omdoc:term cd="semigroup" name="semigroup" xml:id="monoid.definition6.CMP1.p1.term2" about="#monoid.definition6.CMP1.p1.term2" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=13;64)">semigroup</omdoc:term>,
<p xmlns="http://www.w3.org/1999/xhtml" id="monoid.definition6.CMP1.p1" class="ltx_p" about="#monoid.definition6.CMP1.p1" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=12;20)">Let <om:OMOBJ stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;50,to=13;30)"><om:OMA><om:OMS cd="arithmetics" name="multiplication"/><om:OMV name="\mvstruct"/><om:OMATTR><om:OMATP><om:OMS cd="OMDoc" name="verbalizes"/><om:FOREIGN encoding="mtext"><a href="2" title="" class="ltx_ref mmtRef" content="G"/> </om:FOREIGN></om:OMATP><om:OMS cd="OMDoc" name="infObj"/></om:OMATTR><om:OMATTR><om:OMATP><om:OMS cd="OMDoc" name="verbalizes"/><om:FOREIGN encoding="mtext"><a href="3" title="" class="ltx_ref mmtRef" content="+"/> </om:FOREIGN></om:OMATP><om:OMS cd="OMDoc" name="infObj"/></om:OMATTR></om:OMA></om:OMOBJ> be a <omdoc:term cd="semigroup" name="semigroup" xml:id="monoid.definition6.CMP1.p1.term2" about="#monoid.definition6.CMP1.p1.term2" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=12;1,to=13;64)">semigroup</omdoc:term>,
then we call en element <om:OMOBJ class="ltx_markedasmath"><om:OMV name="@neut@"/></om:OMOBJ> in <om:OMOBJ class="ltx_markedasmath"><om:OMV name="semigroup@base@"/></om:OMOBJ> a
<omdoc:term cd="monoid" name="unit" role="definiendum" xml:id="monoid.definition6.CMP1.p1.term3" about="#monoid.definition6.CMP1.p1.term3" stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=14;53,to=15;14)">unit</omdoc:term>, iff <om:OMOBJ><om:OMV name="@eunit@type.1.1.1"/></om:OMOBJ> for all <om:OMOBJ stex:srcref="/Users/Hang/kwarc/LaTeXML-Plugin-sTeX/prototests/mmt/example.tex#textrange(from=14;11,to=15;57)"><om:OMV name="&#x1D465;"/></om:OMOBJ> in <a href="4" title="" class="ltx_ref ltx_markedasmath mmtRef" content="G"/><span class="ltx_text ltx_markedasmath"> </span>.</p></omdoc:CMP>
</omdoc:definition>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment