LaTeX
ChatGPT가 제공하는 철학 \(\LaTeX\) 템플릿 (2025. 4. 7. 수정)
챗선생에게 철학을 위한 레이텍 템플릿을 만들어보라 했다. 챗선생이 만든 것을 바탕으로 내가 조금 수정했는데, 녀석, 꽤 잘 한다. 템플릿은 여기(링크)에서 확인할 수 있습니다 (PDF 예시). 수정 로그 * 2025. 4. 7. 예문 번호를 넣기 위한 새로운 패키지와 커맨드를 추가했습니다.
Latest
변화들: 다시 여는 말
블로그에 몇 가지 변화를 줬다. 1. 주소를 바꿨다(https://philtoday.kr). 보다 오랫동안 사용하고, 뉴스레터와 연계하기 위해 오래 전부터 계획하던 생각이다. 이에 맞추어 외부용 메일(wj@)과 뉴스레터용 메일(newsletter@) 역시 본격적으로 사용할 예정이다. 명함에 반영해야지. 2. 블로그 이름도 바꿨다. “백야”를 버리고 “오늘의 철학”으로 왔다. 사적인 공간의 이름이었고,
MathJax
뒤집어진 더블 턴스타일(⫤)을 MathJax에서 구현하기
“\newcommand”를 통해 MathJax에서 뒤집힌 더블 턴스타일을 쉽게 호출하는 법
MathJax
MathJax와 자연 연역
Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.
이슈 노트
웹 폰트에 이탤릭이 적용 안 되었던 이유
Google fonts에서 분명 폰트의 소스를 긁어왔는데도 특정 스타일이 적용 안 될 때 확인해야 할 사항.
이슈 노트
MathJax를 반응형으로 구현하기
MathJax에서 구현한 수식이 너무 길어서 화면의 범위를 벗어날 때, 스크롤을 통해 수식을 볼 수 있게끔 CSS를 수정하는 법.
MathJax
\(\TeX\) 환경에서 (Lewisian) Counterfactual operators 입력을 위한 팁
\(\LaTeX\) 환경 및 동일한 문법을 지원하는 환경에서 루이스 스타일의 반사실 연산자를 쓰는 법.
MathJax
겐첸 시스템을 MathJax로! bussproofs
bussproofs 패키지를 통해 여러 가지 증명들을 MathJax 환경 및 \(\LaTeX\) 문법을 지원하는 환경들에서 표현할 수 있다.
여는 말
고스트로 이주했다.
워드프레스 기반으로 혼잣말 블로그를 운영하고 있었다. 그런데 기존에 사용하던 호스팅이 너무 오류가 잦았고, 아울러 워드프레스의 무거움을 참기가 어려웠다. 새로운 CMS를 찾던 중 고스트를 발견했다. 디지털오션(DigitalOcean)에 호스팅을 등록한 뒤 고스트로 블로그를 설치했다. 이 블로그는 보다 생산적인 용도로 사용할 생각이다. 공부하는 것들도 공유를 하고, 슬슬 "CV"도 구성해