It is a formal notation for logic that is nothing particularly like algebra. (The horizontal bar is not division, the turnstile is not a binary operation.) It&#x27;s a new &quot;syntax of symbols&quot; that you need to learn to read in order to read logic papers.