MathJax와 자연 연역

Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 align 통해 아래와 같은 Lemmon style proof를 시험 삼아 작성해 보았다. $$ \begin{align} &\{1\}&&1.&&\forall x(…

고스트로 이주했다.

워드프레스 기반으로 혼잣말 블로그를 운영하고 있었다. 그런데 기존에 사용하던 호스팅이 너무 오류가 잦았고, 아울러 워드프레스의 무거움을 참기가 어려웠다. 새로운 CMS를 찾던 중 고스트를 발견했다. 디지털오션(DigitalOcean)에 호스팅을 등록한 뒤 고스트로 블로그를 설치했다. 이 블로그는 보다 생산적인 용도로 사용할 생각이다. 공부하는 것들도 공유를 하고, 슬슬 "CV"도 구성해 둘 작정이다.…