What should miners do if they experience symptoms of gas exposure?

Leaving the area immediately and notifying a supervisor is the correct response because it prioritizes the health and safety of the miner. Symptoms of gas exposure can indicate a dangerous situation, such as the presence of toxic gases like methane or carbon monoxide, which can lead to serious health consequences or even fatalities if not addressed promptly. By evacuating the area, miners reduce their risk of further exposure.

Notifying a supervisor is also crucial because they can initiate emergency procedures, assess the situation, and take necessary actions to ensure the safety of all personnel in the vicinity. This response ensures that proper safety protocols are followed and that specialized assistance can be brought in if needed. In contrast, ignoring symptoms or attempting to identify the gas source without proper training and measures can lead to worse outcomes, including health risks and accidents. Staying still until someone checks may delay necessary action and could worsen the situation if the gas exposure is serious.