Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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
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|cite|improve this answer
    
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.

share|cite|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

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.

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

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.