However, some texts of mathematical logic (particularly those on first-order logic, rather than propositional logic) make a distinction between these, in which the first, ↔, is used as a symbol in logic formulas, while ⇔ is used in reasoning about those logic formulas (e.g., in metalogic).
Однако, некоторые тексты математической логики (особенно по логике первого порядка и в меньшей степени по логике высказываний) делают различие между ними, причём, первый знак ↔ используется как символ в логических формулах, тогда как знак ⇔ используется в рассуждениях по поводу этих формул (например, в металогике).