Quick Start for Lean 1.09 

Post-it notes

​

Page darts​

Pens

​