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")
               , EDelimited "(" ")" [ Right (ENumber "0") ]
               , ESymbol Rel "="
               , ESub (EIdentifier "\947") (ENumber "2")
               , EDelimited "(" ")" [ Right (ENumber "0") ]
               , 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 (EDelimited "(" ")" [ Right (EIdentifier "t") ])
                      ])
                   (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 (EDelimited "(" ")" [ Right (EIdentifier "t") ])
                      ])
                   (EGrouped [ EIdentifier "t" , ESymbol Rel "=" , ENumber "0" ])
               ]
             ]
           ])
    ]
]
>>> eqn
gamma sub 1 == gamma sub 2 \[u21D4] left { matrix{
lcol{ {gamma sub 1 left ( 0 right ) = gamma sub 2 left ( 0 right ) = p , roman " and "} above {{left "" {roman {d}} over {roman {d} t} phi \[u2218] gamma sub 1 left ( t right ) right |} sub {t = 0} = {left "" {roman {d}} over {roman {d} t} phi \[u2218] gamma sub 2 left ( t right ) right |} sub {t = 0}} }
} right ""