Question

What is the symbol of convert

Answer 1

Answer:

Step-by-step explanation:

What is the symbol for demonstrating syntactic conversion (transformation or translation)? For example, I want to show a calculation sequence, from ¬(A∧B) to ¬A∨¬B. Now I just use ⊢: ¬(A∧B)⊢¬A∨¬B. Is there a suitable symbol to replace ⊢