일기:2024년 9월 30일

버스

평소 타던 버스가 늦게 와서 길에서 시간을 버렸다. 보통은 07:00에 카페에 도착하는데 오늘은 07:30에 도착했다.

두통

어제 저녁부터 머리가 조금 아프다. 밥을 너무 많이 먹어서 그런가?

체중

체중이 많이 늘었다. 다시 절식(?)을 좀 해야겠다.

도서관

퇴근하고 딸내미랑 도서관에 왔다. 도서관이 너무 좋다, 책도 좋고. 어린이 도서관에서 수학 관련 책을 잠깐 봤다. 주제는 집합, 명제 같은 것들이었다. 어린이 도서가 내용도 쉽고 좋더라.

정의 목록 연습

Term 1

Definition 1

Term 2 with inline markup

Definition 2

{ some code, part of Definition 2 }

Third paragraph of definition 2.

증명 나무 연습

\[ \begin{prooftree} \AxiomC{} \UnaryInfC{$0 \in S$} \end{prooftree} \]

\[ E = mc^2 \]