I recently bought a pack of mini colored pencils (like I don’t have, oh, I don’t know… five or so sets of colored pencils already) from Japanese lifestyle brand Muji. They’re about 3.5 inches from end to end— half the size of normal colored pencils— in a Kraft tube/canister. Perfect for on-the-go drawing and 13-hour flights, wink wink. The pencils are surprisingly decently pigmented and not too waxy (as most cheap colored pencils are). I approve.