[ESymbol Op "\8704",EIdentifier "A",ESpace 0.167,ESymbol Op "\8707",EIdentifier "P",ESpace 0.167,ESymbol Op "\8704",EIdentifier "B",ESpace 0.167,ESymbol Open "[",EIdentifier "B",ESymbol Rel "\8712",EIdentifier "P",ESymbol Rel "\8660",ESymbol Op "\8704",EIdentifier "C",ESpace 0.167,ESymbol Open "(",EIdentifier "C",ESymbol Rel "\8712",EIdentifier "B",ESymbol Rel "\8658",EIdentifier "C",ESymbol Rel "\8712",EIdentifier "A",ESymbol Close ")",ESymbol Close "]"]