This question already has an answer here:
I just saw this symbol in an article of 1990 and was curious about how to display it in latex, but haven't found any answers after googling.
Does anybody know that or tell me it is actually rarely used nowadays?
It's at the end of the paragraph. Thanks a lot!