Is short for (7/48)

Is short for