MathGroup Archive 2008

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

Search the Archive

Re: MetaMathematica

  • To: mathgroup at
  • Subject: [mg90965] Re: MetaMathematica
  • From: "Jean-Marc Gulliet" <jeanmarc.gulliet at>
  • Date: Fri, 1 Aug 2008 02:59:00 -0400 (EDT)
  • References: <g6rnqv$7iv$> <>

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]

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