[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"])]]])]]