Talk:Formal Logic/Sentential Logic/Formal Syntax

Section on Quotation Marks is Confusing
The section "Quoting convention" regarding quotation marks is hard to follow. Can somebody help clarify it? It's not clear what quotation marks actually mean in this context (If that was explained previously, please let me know). As a result, it's not clear why the expression
 * $$(\,\!$$ ' $$\mathrm{P^0_0}\,\!$$ ' $$\rightarrow (\,\!$$ ' $$\mathrm{Q^0_0}\,\!$$ ' $$\lor\,\!$$ ' $$\mathrm{R^0_0}\,\!$$ ' $$))\,\!$$

is "is not what we want." The-erinaceous-one (discuss • contribs) 06:12, 23 June 2021 (UTC)