방에 있는 코끼리에게 말을 걸면 $\cong$과 $\equiv$의 표기 방식이 왜 바뀌는 걸까요?

방에 있는 코끼리에게 말을 걸면 $\cong$과 $\equiv$의 표기 방식이 왜 바뀌는 걸까요?

$\equiv$나는 지난 10년 동안 라텍스를 사용해 왔으며, 나타나는 기호가 일반적으로 합동 기호를 나타내는 경우 "equiv"라고 쓰고, 다음과 $\cong$같은 경우 "cong"을 사용하는 이유가 항상 궁금했습니다. 나타나는 기호는 동형의 기호로, 내 의견으로는 등가에 훨씬 더 가깝습니다.

아주 좋은 이유가 있다고 확신하지만, 그 이유가 무엇인지 항상 궁금했습니다. 아는 사람 있나요?

여기에 이미지 설명을 입력하세요

\documentclass{article}

\begin{document}

$ A \cong  b \equiv C$

\end{document}

답변1

나는 코끼리를 보지 못했습니다. 그리고 나는 매우 주의 깊게 살펴보았다고 확신합니다.

답변2

둘 다 가능할 것 같습니다. 에서합동에 관한 위키피디아기하학에서 (내 아래에 모두 강조됨):

일반적으로 사용되는 기호적합성는 유니코드 문자 '대략 같음'(U+2245)에 해당하는 물결표(≅)가 위에 있는 등호 기호입니다. 영국에서는 막대 3개로 구성된 등호(U+2261)가 때때로 사용됩니다.

그리고약 g:

신원
삼중 막대 기호 ל(U+2261, LaTeX \equiv)는 ID, 정의(U+225D ≝ EQUAL TO BY DEFINITION 또는 U+2254 ≔ COLON EQUALS로 표시될 수도 있음) 또는적합성모듈러 산술의 관계.

그리고더 나아가:

삼중 막대 또는 삼중 막대 는 다음을 나타내는 여러 가지 상황에 따른 의미를 갖는 기호입니다.등가두 가지 다른 것. 주요 용도는 수학과 논리입니다.
...
EMA는 논리적이라는 더 높은 수준의 금속학적 개념에 사용됩니다.등가, 이에 따르면 모든 모델이 동일한 값을 제공할 때 두 공식은 논리적으로 동일합니다
.
정수론에서는 칼 프리드리히 가우스(1801년에 이 의미로 처음 사용함)부터 모듈러를 의미하는 데 사용되었습니다.적합성: N이 a − b를 나누는 경우 a ñ b ( mod N )

어쨌든 LaTeX의 이름이 마음에 들지 않으면 주석에서 언급한 대로 이름을 변경할 수 있습니다. 그리고 그것은 어쨌든 사이트의 주제와 다릅니다 :)

관련 정보