MATH TERMS
'(<a href="http://www.j-archive.com/media/2010-12-10_DJ_28.jpg" target="_blank">Jimmy shows a logical proposition on a monitor.</a>) Used in propositional logic problems, and often read, for example, as "P if an only if Q," the symbol <a href="http://www.j-archive.com/media/2010-12-10_DJ_28a.jpg" target="_blank">here</a> denotes this term'
biconditional or equivalence