Functions on sets

Stream: new members

[Yakov Pechersky]

What do the '' mean in a function that is applied to a set, a la f '' s := {f x | x \in s}?

[Jalex Stark]

didn't you just write out the definition of ''? (edit : no, see patrick's comment)

[Alex J. Best]

'' is set.image

[Patrick Massot]

What Yakov wrote is not valid syntax

[Patrick Massot]

Set builder notation simply doesn't work like that

[Jalex Stark]

#print notation ''

which tells you that '' is infix notation for set.image

[Yakov Pechersky]

Yes, I was using illegal shorthand. It's notation, got it!