=gt; 실행을 의미합니다. 예를 들어 A=gt; B는 A에서 B로 푸시할 수 있음을 의미합니다.
'=/=gt; ''는 푸시할 수 없음을 의미합니다. 'α=/=gt;β''는 α가 β로 추론될 수 없다는 뜻
이것은 네 가지 조건의 증명에 많이 사용되므로 잘 이해하세요