Etymology
Today it means: A double modal (or, rarely, any string of multiple modals, e.g. a triple modal). Full definition →
From modal stacking.
Etymology from Wiktionary, CC BY-SA 4.0.