Zulip Chat Archive
Stream: general
Topic: Notation for fields
Sebastien Gouezel (Aug 27 2019 at 15:20):
Currently, a field is often denoted by k, but so are integer numbers or many things. I don't know how to do \mathbb{k}, but I have just learned that \bbK gives 𝕂. Would a pull request replacing all instances of a field k by 𝕂 be welcome?
Johan Commelin (Aug 27 2019 at 15:21):
What about just capital K? That's very common in the literature.
Johan Commelin (Aug 27 2019 at 15:22):
I've seen people use \bbK to denote either \bbR or \bbC, but for general fields, I think K is very common.
Sebastien Gouezel (Aug 27 2019 at 15:22):
The less ambiguity the better, I would say. And we have unicode, so let's use it!
Johan Commelin (Aug 27 2019 at 15:22):
Well, are there many other uses of K?
Sebastien Gouezel (Aug 27 2019 at 15:22):
compact sets?
Johan Commelin (Aug 27 2019 at 15:22):
Ok, sure
Patrick Massot (Aug 27 2019 at 15:23):
Algebraists...
Johan Commelin (Aug 27 2019 at 15:23):
Sorry...
Johan Commelin (Aug 27 2019 at 15:24):
I don't really care... everything is better than \beta
Johan Commelin (Aug 27 2019 at 15:24):
(Yep, \beta, because for some silly reason \alpha was already used as a compact set.)
Sebastien Gouezel (Aug 27 2019 at 19:01):
Done in #1363
Last updated: Dec 20 2023 at 11:08 UTC