MathJax와 자연 연역
Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.…
Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.…
Google fonts에서 분명 폰트의 소스를 긁어왔는데도 특정 스타일이 적용 안 될 때 확인해야 할 사항.…
MathJax에서 구현한 수식이 너무 길어서 화면의 범위를 벗어날 때, 스크롤을 통해 수식을 볼 수 있게끔 CSS를 수정하는 법.…
\(\LaTeX\) 환경 및 동일한 문법을 지원하는 환경에서 루이스 스타일의 반사실 연산자를 쓰는 법.…
bussproofs 패키지를 통해 여러 가지 증명들을 MathJax 환경 및 \(\LaTeX\) 문법을 지원하는 환경들에서 표현할 수 있다.…
워드프레스 기반으로 혼잣말 블로그를 운영하고 있었다. 그런데 기존에 사용하던 호스팅이 너무 오류가 잦았고, 아울러 워드프레스의 무거움을 참기가 어려웠다. 새로운 CMS를 찾던 중 고스트를 발견했다. 디지털오션(DigitalOcean)에 호스팅을 등록한 뒤 고스트로 블로그를 설치했다. 이 블로그는 보다 생산적인 용도로 사용할 생각이다. 공부하는 것들도 공유를 하고, 슬슬 "CV"도 구성해 둘 작정이다.…