안녕하세요, 우연히 웹서핑하다가 이 갤로 들어온 논린이인데요.몇 개 글들을 보다가, ㅏ나 |- 와 같은 연산자(라는 표현이 맞는지 모르겠네요)가 등장해서,인터넷에 찾아보아도 쉽게 찾아지지가 않아 질문드립니다.
https://en.wikipedia.org/wiki/Turnstile_(symbol)
감사합니다!