the symbol for translation, transformation, or conversion What is the symbol for demonstrating syntactic conversion (transformation or translation)? For example, I want to show a calculation sequence, from $ \neg ( A \wedge B ) $ to $ \neg A \vee \neg B  $. Now I just use $ \vdash $: $ \neg ( A \wedge B ) \vdash \neg A \vee \neg B  $. Is there a suitable symbol to replace $ \vdash $?

Thank you.

Kejia
P :⇔ Q means P is defined to be logically equivalent to Q. This could be a suitable substitution, but I believe what you are using is best suited, since it is literally translated as "is derived from."
The symbol $\Rightarrow$ (or simply =>)
 would be my answer for a symbol for transformation, but I think it would be better if it were a single character symbol.