In what come, follows, we will use this notation shown here, where we write delta then what's called a double turnstile, a vertical bar followed by an equal sign, and phi, as our way of notating the statement that a set of premises delta logically entails phi. 