This prefix is prepended to questions when you click ChatGPT or Google AI. Stored only in your browser via localStorage.
The correct answer is option 3.
In Software Engineering Formal methods predominantly use Mathematical notations.