## 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: May 14 2021 at 06:16 UTC