# 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

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 same symbol have different meaning in different literature :-) Mathematics is always evolving. – xando Mar 21 '11 at 17:24

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

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.

-
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post - you can always comment on your own posts, and once you have sufficient reputation you will be able to comment on any post. - From Review – T. Bongers Jan 20 at 22:24