Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2008

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

Search the Archive

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


  • 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