Zulip Chat Archive
Stream: new members
Topic: Subscripts
Nicolò Cavalleri (Jul 02 2020 at 15:41):
I cannot type subscripts. If I type ≃\_d as said in the book I get ≃ₐd
Reid Barton (Jul 02 2020 at 15:43):
nope, there simply is no subscript d unicode character!
Nicolò Cavalleri (Jul 02 2020 at 15:44):
Reid Barton said:
nope, there simply is no subscript d unicode character!
Ok cool what notation do you suggest for diffeomorphisms that is compatible with unicode?
Reid Barton (Jul 02 2020 at 15:48):
maybe s for smooth?
Nicolò Cavalleri (Jul 02 2020 at 15:50):
Or m for manifolds could also work... But how do I know if one of the two is already used?
Floris van Doorn (Jul 02 2020 at 15:52):
You could search all of mathlib (ctrl+shift+F in VSCode) for ≃ₛ
Mario Carneiro (Jul 02 2020 at 15:54):
is ≃d too countercultural?
Last updated: Dec 20 2023 at 11:08 UTC