Zulip Chat Archive

Stream: new members

Topic: Subscripts


view this post on Zulip Nicolò Cavalleri (Jul 02 2020 at 15:41):

I cannot type subscripts. If I type ≃\_d as said in the book I get ≃ₐd

view this post on Zulip Reid Barton (Jul 02 2020 at 15:43):

nope, there simply is no subscript d unicode character!

view this post on Zulip 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?

view this post on Zulip Reid Barton (Jul 02 2020 at 15:48):

maybe s for smooth?

view this post on Zulip 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?

view this post on Zulip Floris van Doorn (Jul 02 2020 at 15:52):

You could search all of mathlib (ctrl+shift+F in VSCode) for ≃ₛ

view this post on Zulip Mario Carneiro (Jul 02 2020 at 15:54):

is ≃d too countercultural?


Last updated: May 14 2021 at 06:16 UTC