- [x] Different font sizes - [ ] Some proof doesn't place in page width - [x] Different formula sizes - [ ] Convert `<`/`>` into `\langle`/`\rangle` (maybe by custom macro like `\pair{}`
</>into\langle/\rangle(maybe by custom macro like\pair{}