뒤집어진 더블 턴스타일(⫤)을 MathJax에서 구현하기

파인의 모호성 논문을 요약하다가 \(\not\vDash\)(“참이 아니다”)를 \(\Dashv\)(“거짓이다”)와 구별해 쓸 필요성을 깨달았다. 양가 논리를 취하는 경우에는 둘이 같은 뜻이 되어서 상관이 없었는데, 그 외의 진리치가 사용되는 맥락에서는 진리 조건 정의를 위해 둘을 구별해 써야 했던 것이다.

통상 이를 구현하는 \(\LaTeX\) 코드는 “\Dashv”이다. mathbx 패키지에 포함되어 있다고 하는데, 이 패키지는 MathJax에서 익스텐션으로 지원하지 않는 터라 사용하는 데에 문제가 있었다.

그러던 중, 다음의 StackExchange 스레드를 발견했다:

Reverse double turnstile in Mathjax/Wordpress

I’m trying to make a reverse double turnstile on my wordpress site. I do have Mathjax installed. I’ve tried using $\leftmodels$ and $\Dashv$, but neither of those work. I am able to make the regular

TeX - LaTeX Stack ExchangeMr.Young

답변에서 제안된 코드는 다음과 같다:

\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}

다만 이를 매 맥락마다 게시글 내에서 사용하기에는 문제가 있다. 해서, \(\counterfactual\)을 추가했을 때와 같은 방식으로 헤드라인에 커맨드를 추가했다:

<div id="texcommand" style="display:none">
$$\newcommand{\Dashv}{\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}$$
</div>

이제 다음의 코드는,

\[A\Dashv B\]

다음과 같이 잘 표현된다:\[A\Dashv B\]