User talk:Lord Farin/Backup/Definition:Propositional Calculus/Alphabet

Are $\vdash$ and $\dashv$ letters? --GFauxPas 17:07, 14 June 2012 (EDT)