⊢ⓑ0#⊣