MathGroup Archive 2008

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

Search the Archive

Re: MetaMathematica


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


  • Prev by Date: Re: MetaMathematica
  • Next by Date: Re: Problem with evaluating Graphics3D output
  • Previous by thread: Re: MetaMathematica
  • Next by thread: Re: Problem with evaluating Graphics3D output