Kampel <br/><br/>
A practical introduction to the new logic symbols 

 - London  Butter  work