texmath-0.12.5: test/reader/omml/differentiable_manifold.test
<<< omml
<?xml version="1.0" encoding="UTF-8"?>
<m:oMathPara>
<m:oMathParaPr>
<m:jc m:val="center" />
</m:oMathParaPr>
<m:oMath>
<m:sSub>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>γ</m:t>
</m:r>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>1</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>≡</m:t>
</m:r>
<m:sSub>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>γ</m:t>
</m:r>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>2</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⇔</m:t>
</m:r>
<m:d>
<m:dPr>
<m:begChr m:val="{" />
<m:endChr m:val="" />
<m:grow />
</m:dPr>
<m:e>
<m:m>
<m:mPr>
<m:baseJc m:val="center" />
<m:plcHide m:val="on" />
<m:mcs>
<m:mc>
<m:mcPr>
<m:mcJc m:val="left" />
</m:mcPr>
</m:mc>
<m:mc>
<m:mcPr>
<m:mcJc m:val="left" />
</m:mcPr>
</m:mc>
</m:mcs>
</m:mPr>
<m:mr>
<m:e>
<m:sSub>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>γ</m:t>
</m:r>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>1</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>(</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>0</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>)</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>=</m:t>
</m:r>
<m:sSub>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>γ</m:t>
</m:r>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>2</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>(</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>0</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>)</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>=</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>p</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>,</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t> and </m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:sSub>
<m:e>
<m:d>
<m:dPr>
<m:begChr m:val="" />
<m:endChr m:val="|" />
<m:grow />
</m:dPr>
<m:e>
<m:f>
<m:fPr>
<m:type m:val="bar" />
</m:fPr>
<m:num>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>d</m:t>
</m:r>
</m:num>
<m:den>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>d</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>t</m:t>
</m:r>
</m:den>
</m:f>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϕ</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∘</m:t>
</m:r>
<m:sSub>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>γ</m:t>
</m:r>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>1</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>(</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>t</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>)</m:t>
</m:r>
</m:e>
</m:d>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>t</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>=</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>0</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>=</m:t>
</m:r>
<m:sSub>
<m:e>
<m:d>
<m:dPr>
<m:begChr m:val="" />
<m:endChr m:val="|" />
<m:grow />
</m:dPr>
<m:e>
<m:f>
<m:fPr>
<m:type m:val="bar" />
</m:fPr>
<m:num>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>d</m:t>
</m:r>
</m:num>
<m:den>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>d</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>t</m:t>
</m:r>
</m:den>
</m:f>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϕ</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∘</m:t>
</m:r>
<m:sSub>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>γ</m:t>
</m:r>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>2</m:t>
</m:r>
</m:sub>
</m:sSub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>(</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>t</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>)</m:t>
</m:r>
</m:e>
</m:d>
</m:e>
<m:sub>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>t</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>=</m:t>
</m:r>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>0</m:t>
</m:r>
</m:sub>
</m:sSub>
</m:e>
</m:mr>
</m:m>
</m:e>
</m:d>
</m:oMath>
</m:oMathPara>
>>> native
[ ESub (EIdentifier "\947") (ENumber "1")
, ESymbol Rel "\8801"
, ESub (EIdentifier "\947") (ENumber "2")
, ESymbol Rel "\8660"
, EDelimited
"{"
" "
[ Right
(EArray
[ AlignCenter ]
[ [ [ ESub (EIdentifier "\947") (ENumber "1")
, ESymbol Open "("
, ENumber "0"
, ESymbol Close ")"
, ESymbol Rel "="
, ESub (EIdentifier "\947") (ENumber "2")
, ESymbol Open "("
, ENumber "0"
, ESymbol Close ")"
, ESymbol Rel "="
, EIdentifier "p"
, ESymbol Pun ","
, ESpace (2 % 9)
, EIdentifier "a"
, EIdentifier "n"
, EIdentifier "d"
, ESpace (2 % 9)
]
]
, [ [ ESub
(EDelimited
" "
"|"
[ Right
(EFraction
NormalFrac
(EIdentifier "d")
(EGrouped [ EIdentifier "d" , EIdentifier "t" ]))
, Right (EIdentifier "\981")
, Right (ESymbol Bin "\8728")
, Right (ESub (EIdentifier "\947") (ENumber "1"))
, Right (ESymbol Open "(")
, Right (EIdentifier "t")
, Right (ESymbol Close ")")
])
(EGrouped [ EIdentifier "t" , ESymbol Rel "=" , ENumber "0" ])
, ESymbol Rel "="
, ESub
(EDelimited
" "
"|"
[ Right
(EFraction
NormalFrac
(EIdentifier "d")
(EGrouped [ EIdentifier "d" , EIdentifier "t" ]))
, Right (EIdentifier "\981")
, Right (ESymbol Bin "\8728")
, Right (ESub (EIdentifier "\947") (ENumber "2"))
, Right (ESymbol Open "(")
, Right (EIdentifier "t")
, Right (ESymbol Close ")")
])
(EGrouped [ EIdentifier "t" , ESymbol Rel "=" , ENumber "0" ])
]
]
])
]
]