편집문의

s = t : s = t

P(s) : P(t)

P(t) : P(s)

아래 언더바 있는 부분과 좌 우 구분을 어떻게 표현 하나요?

아래첨자 df 이렇게 적으면 되는거 맞는건가요?

정의 R은 재귀적(reflexive)이다 =_df (∀x)Rxx

R은 대칭적(symmetric)이다 =_df (∀x)(∀y)(Rxy → Ryx)

R은 이행적(transitive)이다 =_df (∀x)(∀y)(∀z)((Rxy & Ryz) → Rxz)

R은 동치 관계(equivalence relation)이다 =_df R은 재귀적, 대칭적, 그리고 이행적이다.

1. u=u : 도입

2. (∀x)(x = x) : 1, ∀ 도입

맨 아래는 이렇게 적으면 되나요? 

u=u 앞의 네모로 쌓여진 u는 어떻게 하는지요.