[일반] 라티스의 meet와 join에 대한 기호로 무엇이 좋을까요?

[익명(119.203)]

보통은 ∧와 ∨를 쓰는데, 제가 쓰는 글이 논리에 관한 것이다보니 이걸 쓰니까 논리학의 기호랑 똑같아서 문제네요.

아에 +과 *를 쓸까도 생각했는데 좀 그렇고, 좋은 기호 없을까요?

[水(diool)]

걍 그 기호 쓰셈. 어차피 논리학의 and 와 or 연산은 각각 meet 이고 join임. formula 의 집합을 생각하고 거기에 implication 으로 부분순서를 주면 and 가 meet 이 되고 or 이 join 이 됨.

[익명(119.203)]

물론 그렇습니다만 그 특정 맥락에서 겹친다고 기호를 같게 쓰는건 저는 좀 별로더라고요. 그런 의미에서 저는 ring의 연산도 +,*로 쓰는건 싫어하고 \bullet과 \circ로 쓰는 게 낫다고 생각합니다. 제가 좀 이상한 것일 수도 있겠죠 ㅠ

[水(diool)]

아니면 집합에서 따와서 \cap \cup 을 쓸 수도 있고... 아니면 glb(a,b) lub(a,b) 같은 식으로 쓸 수도 있고...

[익명(119.203)]

네.. 내키질 않아서 텍 심볼 목록을 뒤지다가 \triangle, \triangledown을 쓰기로 했습니다! (좀 이상한가요 ㅠ)