Re: MetaMathematica
- To: mathgroup at smc.vnet.net
- Subject: [mg90965] Re: MetaMathematica
- From: "Jean-Marc Gulliet" <jeanmarc.gulliet at gmail.com>
- Date: Fri, 1 Aug 2008 02:59:00 -0400 (EDT)
- References: <g6rnqv$7iv$1@smc.vnet.net> <48918D46.1060806@gmail.com>
Cca wrote: > I'm in need of a "neutral" sign for indicating that two Mathematica expressions are equivalent (in the sense that they have the same value). For this purpose, I recently started using Equilibrium. For example: > > expr[[n1,n2]]\[Equilibrium]Part[expr,n1,n2] > > Part[expr,n1,n2]\[Equilibrium]Part[Part[expr,n1],n2] > > Would anyone like to offer a suggestion for such a sign? What about "<=>" or "<==>", that is \[DoubleLeftRightArrow] (esc<=>esc) or \[DoubleLongLeftRightArrow] (esc<==>esc): DoubleLeftRightArrow[a, b] DoubleLongLeftRightArrow[a, b] Regards, -- Jean-Marc