Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2005
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2005

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

Search the Archive

Re: Re: operators for relations in sets

  • To: mathgroup at smc.vnet.net
  • Subject: [mg60430] Re: [mg60407] Re: operators for relations in sets
  • From: Andrzej Kozlowski <andrzej at yhc.att.ne.jp>
  • Date: Fri, 16 Sep 2005 03:49:15 -0400 (EDT)
  • References: <200509131007.GAA09833@smc.vnet.net> <dg8kar$qiq$1@smc.vnet.net> <200509150916.FAA15880@smc.vnet.net>
  • Reply-to: Andrzej Kozlowski <andrzej at akikoz.net>
  • Sender: owner-wri-mathgroup at wolfram.com

On 15 Sep 2005, at 18:16, Paul Abbott wrote:

> In article <dg8kar$qiq$1 at smc.vnet.net>,
>  Andrzej Kozlowski <akoz at mimuw.edu.pl> wrote:
>
>
>> First of all, \[SubsetEqual] is not defined in Mathematica. You can
>> define your own function SubsetEqual as:
>>
>> SubsetEqual[A_List, B_List] := Intersection[A, B] == A
>>
>> so that
>>
>> SubsetEqual[{1},{1,2}]
>>
>> True
>>
>> etc. If you really want with the help of the Notation package you can
>> make the infix form A\[SubsetEqual]B equivalent to Subsetequal[A,B]
>> (although i would not bother).
>>
>
> Actually, there is no need to use the Notation package. The infix form
> {A}\[SubsetEqual]{B} _is_ interpreted automatically as SubsetEqual 
> [A,B].
>
> Cheers,
> Paul
>

Indeed, and this is very nice. Presumably only works for symbols that  
are undefined "operators" (e.g. the Operators in the palette  
CompleteCharacters) and for other symbols which are not officially  
"operators" one would have to use the Notation package?

Andrzej Kozlowski


  • Prev by Date: Re: Strange error when using InequalityPlot3D
  • Next by Date: Re: Hamiltoncircuits on polyhedra
  • Previous by thread: Re: operators for relations in sets
  • Next by thread: Re: Batch