the symbol for translation, transformation, or conversion

Question

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

http://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

score 1 · Accepted Answer · answered Mar 19 '11 at 20:05

1

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."

answered Mar 19 '11 at 20:05

chrislgarry

126

The same symbol have different meaning in different literature :-) Mathematics is always evolving. – WIZARDELF Mar 21 '11 at 17:24

score 0 · Answer 2 · answered Mar 19 '11 at 23:25

0

You could use both $\Leftrightarrow$ (\Leftrightarrow) and $\equiv$ (\equiv), meaning that the statements are logically equivalent.

answered Mar 19 '11 at 23:25

Joost

101

1

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

score -1 · Answer 3 · edited Jan 20 '16 at 22:37

-1

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.

edited Jan 20 '16 at 22:37

Ramiro

17,521

answered Jan 20 '16 at 21:43

Baiss Eric Magnusson

1

the symbol for translation, transformation, or conversion

3 Answers3