Notation for games

Stream: maths

[Violeta Hernández]

Is there any chance we can get some variant of {L | R} to work on games?

[Violeta Hernández]

I think the most basic version of this notation would simply be {xl | xr} for mk L R xl xr

[Violeta Hernández]

But it'd be nice to also support some syntax for docs#SetTheory.PGame.ofLists, perhaps {[a, b, c] | [x, y, z]} for ofLists [a, b, c] [x, y, z]?

[Violeta Hernández]

I'm thinking we could also have something like {i ↦ f i | j ↦ g j} as mechanisms to specify the two functions in the constructor, but I don't know if this is feasible / desirable

[Daniel Weber]

I think this would collide with set notation

[Violeta Hernández]

Ah, of course

[Violeta Hernández]

Is there some other unicode bracket we can use?

[Daniel Weber]

maybe ⦃⦄?

[Violeta Hernández]

I was thinking about that

[Daniel Weber]

｛｝ would be horrible, and ﹛﹜ probably isn't good either

[Violeta Hernández]

Although, isn't this used as some sort of variant of {x} for implicit arguments?

[Violeta Hernández]

As in ∀ ⦃x⦄, _

[Daniel Weber]

It is, yes, but as they're used in completely different places (in particular, one is a term and the other isn't), I hope collision can be avoided

[Daniel Weber]

We could also use g{ L | R }, I guess

[Violeta Hernández]

Oh, that might actually be better

[Violeta Hernández]

Because it means we can define this notation for different kinds of games with different prefixes