* Mucus: This is the most common and scientifically accurate term. Mucus is a sticky substance produced by the mucous membranes that line various parts of the body, including the nose.
* Nasal mucus: This term specifically refers to mucus produced in the nose.
* Boogers: While not as formal, this term is often used casually to refer to dried snot.
There's no real "proper name" for snot because it's simply a term used to describe mucus that has been expelled from the nose.
It's important to note that while "snot" is a common term, it's often considered informal or even childish. In more formal settings, it's generally best to use "mucus" or "nasal mucus."