tt-conspect icon indicating copy to clipboard operation
tt-conspect copied to clipboard

Notes for type theory course

Results 14 tt-conspect issues
Sort by recently updated
recently updated
newest added

[Nested boxes](https://tex.stackexchange.com/questions/18600/expandable-nested-boxes-with-tikz) with [rounded edges](https://tex.stackexchange.com/questions/211342/draw-a-rectangle-with-rounded-ends-in-tikz) will probably do better than tables.

It is probably better to use `\textlambda` instead of `$\lambda$` inside text mode.