I thought at first this was that “efficient” way of writing four digit numbers as a symbol that is actually just inconvenient, and that was my loss.