# 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

-
detexify.kirelabs.org/classify.html might help if you already know the symbol you want to use. –  Asaf Karagila Mar 19 '11 at 20:07

You could use both $\Leftrightarrow$ (\Leftrightarrow) and $\equiv$ (\equiv), meaning that the statements are logically equivalent.
You might also prefer $\iff$ (\iff), since it is easier to type. –  yunone Mar 19 '11 at 23:30
That's a nice one! Even better since $\Longleftrightarrow$ (\Longleftrightarrow) is even worse ;) I think there is something like \newcommand{\iff}{\Longleftrightarrow} ;-) –  Joost Mar 19 '11 at 23:36