<<< omml γ 1 ≡ γ 2 ⇔ γ 1 ( 0 ) = γ 2 ( 0 ) = p , and d d t ϕ ∘ γ 1 ( t ) t = 0 = d d t ϕ ∘ γ 2 ( t ) t = 0 >>> 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" ]) ] ] ]) ] ]