ChatGPT - Explain theorem symbols