Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

share|improve this question
    
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
add comment

2 Answers

up vote 1 down vote accepted

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

share|improve this answer
    
The same symbol have different meaning in different literature :-) Mathematics is always evolving. –  xando Mar 21 '11 at 17:24
add comment

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

share|improve this answer
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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.