<<< 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" ]) ] ] ]) ] ] >>> mml $${\gamma }_1\equiv {\gamma }_2\iff \{\begin{array}{c}{\gamma }_1\left(0\right)={\gamma }_2\left(0\right)=p,\mathrm{\text{and}}\hfill \\ {\frac{\mathrm{d}}{\mathrm{d}t}\varphi \circ {\gamma }_1\left(t\right)|}_{t=0}={\frac{\mathrm{d}}{\mathrm{d}t}\varphi \circ {\gamma }_2\left(t\right)|}_{t=0}\hfill \end{array}$$