“⇒”即为推出符号。例：A推出B可表示为A⇒B。充要的话可以用这个符号：“⇔”（即为等价于的意思）。
等价于的概念：
1、
“等价于”符号是 <=> (这3个符号是贴在一起的)
从符号就可以看出意思：分为 <= 和 =>
A<=B 即：用B的条件可以推导出A的结果
A=>B 即：用A的条件可以推导出B的结果
A<=>B 即：AB可以相互为条件推导出对方。那么理论上就可以用A替代B或B替代A，这样就叫等价。
例如：a=1 <=> a=3-2
又如：(x-1)²=4 <=> |x-1|²=4
2、
事物A与事物B等价,一般是指A,B在某些方面具有共同的性质,人们在研究这些共同的性质时,对事物A,B不加以区分,认为A,B是同一个事物.
更广泛意义的等价，是集合在某种变换下保持不变性。如：矩阵A与称为等价的，如果B可以是A经过一系列初等变换得到。矩阵在初等变换下是行列式不变的。在线性代数中，合同、相似都是等价关系。
