증명하거나 변수 대입, 질의 같은 거 표현을 위해 기호를 쓰시는데 기호가 정확히 어떤의미로 쓰이는지 잘 모르겠습니다

간단한 코드 예시 몇개 들어가며 설명해주시면 괜찮을 거 같습니다