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