The story
Compare figure dash.
Etymology from Wiktionary, CC BY-SA 4.0.
figure space
Today it means: In fonts whose digits are of uniform width, a space of non-variable width: ⊣ ⊢ equal to the width of a digit. Full definition →
Today it means: In fonts whose digits are of uniform width, a space of non-variable width: ⊣ ⊢ equal to the width of a digit. Full definition →
Compare figure dash.
Etymology from Wiktionary, CC BY-SA 4.0.