In P → Q, P ⊨ Q, what does the symbol ⊨ mean? - Logic Exercise

In P → Q, P ⊨ Q, what does the symbol ⊨ mean?

P → Q, P ⊨ Q

The premises on the left entail the conclusion on the rightThe two sides are the same formulaEverything on the left is falseIt separates two unrelated formulas