Zulip Chat Archive
Stream: new members
Topic: Notation dependent pair
Thomas Scholz (Mar 30 2019 at 23:52):
Why is a dependent pair denoted sigma.mk a b and not simply (a, b)?
Chris Hughes (Mar 30 2019 at 23:53):
You can write ⟨a, b⟩
Thomas Scholz (Mar 30 2019 at 23:57):
I see, thanks. But why not (a, b)?
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.
Thomas Scholz (Mar 31 2019 at 00:03):
Okay.
Last updated: Dec 20 2023 at 11:08 UTC