Add the Turnstile Operator