Earliest Uses of Symbols of Set Theory and Logic

In case you too were wondering about the history of ⊢, ⊨, and friends, try this MacTutor page at the University of St Andrews, Scotland.