Comment by bobmarleybiceps

Knuth originally defining them https://dl.acm.org/doi/10.1145/1008328.1008329