[Date Index] [Thread Index] [Author Index]

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