Name of cross symbol

Stream: new members

[McCoy R. Becker]

What is the name of this symbol?
image.png

[Yaël Dillies]

It's usually called a dagger or a tombstone. It represents the fact that the name is "inaccessible". You can't refer to f by name anymore.

[Jeremy Tan]

(deleted)

[McCoy R. Becker]

thank you!

[Utensil Song]

I dislike this symbol in info view because it means conjugation to me, never expected it has such a deep meaning that the symbol is dead, and always thought (in subconscious) it's automatically reassigned this symbol for accessing it once it's shadowed.