편집문의

편집 중 문의드립니다.

용하는 관례에 따라서 ‘x = y’라고 표기할 것이다.

등호 앞 뒤 띄워쓰기.

‘x = y’ 또는 ‘x=y’ 둘 중 어떻게 적나요?

‘s = t’는 모형세계 M에서 참이다 =_df s 와 t는 모형세계 M에서 동일한 대상을 지칭한다.

df를 아래첨자로 보고 위와 같이 적었는데 이렇게 하는게 맞나요?

(∀x)(∀y)((Bx & By) → x = y)  또는 (∀x)(∀y)((Bx & By) → x=y)

여기서도 등호 앞 뒤 한칸씩 띄우는건지 안띄우는건지 알려주세요.