별건 아니고 함수를 새로 정의할때 작대기 세개(동치기호) 로 쓰거나
모든~에대해(뒤집은A) , 실수 유리수 정수 자연수집합기호, 존재(뒤집은E)같은거