differentiable_manifold.test

<<< native
[ ESub (EIdentifier "\947") (ENumber "1")
, ESymbol Rel "\8801"
, ESub (EIdentifier "\947") (ENumber "2")
, ESymbol Rel "\8660"
, EDelimited
    "{"
    ""
    [ Right
        (EArray
           [ AlignLeft ]
           [ [ [ 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 ","
               , EText TextNormal " and "
               ]
             ]
           , [ [ ESub
                   (EDelimited
                      ""
                      "|"
                      [ Right
                          (EFraction
                             NormalFrac
                             (EStyled TextNormal [ EIdentifier "d" ])
                             (EGrouped
                                [ EStyled TextNormal [ 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
                             (EStyled TextNormal [ EIdentifier "d" ])
                             (EGrouped
                                [ EStyled TextNormal [ 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" ])
               ]
             ]
           ])
    ]
]
>>> starmath
%igamma_1 equiv %igamma_2 dlrarrow left lbrace matrix { alignl %igamma_1(0) = %igamma_2(0) = p, " and " ## alignl {left none {{alignc {nitalic d}} over {alignc {nitalic dt}}}%iphi circ %igamma_1(t) right rline}_{{t = 0}} = {left none {{alignc {nitalic d}} over {alignc {nitalic dt}}}%iphi circ %igamma_2(t) right rline}_{{t = 0}} } right none