In PL academia (including in the US) many people prefer dot paper for physical research notebooks. When you're mixing together diagrams, prose, inference rules, semantics, code, etc. it's a quite nice and flexible medium.