⊢
vdash
The first way to know whether your code does what you need it to.