Take the usual meanings of the symbols to match the following :