Zulip Chat Archive

Stream: new members

Topic: Notation dependent pair


view this post on Zulip Thomas Scholz (Mar 30 2019 at 23:52):

Why is a dependent pair denoted sigma.mk a b and not simply (a, b)?

view this post on Zulip Chris Hughes (Mar 30 2019 at 23:53):

You can write ⟨a, b⟩

view this post on Zulip Thomas Scholz (Mar 30 2019 at 23:57):

I see, thanks. But why not (a, b)?

view this post on Zulip Chris Hughes (Mar 30 2019 at 23:58):

It might be something to do with the fact that that notation is taken for prod. But I don't really know.

view this post on Zulip Thomas Scholz (Mar 31 2019 at 00:03):

Okay.


Last updated: May 08 2021 at 10:12 UTC