수학 논리에서 허용되는 규칙에 대한 특정 기호(아래 그림 참조)를 찾는 데 도움을 주시겠습니까? 우리는 그것을 쓸 수 있지만 |\!\!\!\sim수직 대시가 $\vdash$와 같은 크기가 되기를 원합니다. 감사합니다!
답변1
LuaLaTeX 또는 XeLaTeX를 사용할 수 있는 경우 패키지 logix와 명령 \TurnWavy("wavy Turnstile")을 사용할 수 있습니다. 그것은 당신이 그것을 사용하는 방법이라고 생각하는 이진 관계입니다.
logix유니코드 글꼴만 제공합니다. LuaLaTeX 또는 XeLaTeX를 사용하면 유니코드 문자를 소스에 직접 입력할 수 있습니다(그리고출력에 의도한 대로 표시됩니다).
원천:포괄적인 LaTeX 기호 목록, p. 81; 색인에서 "turnstile"의 변형을 검색하여 찾았습니다.