Is short for (5/48)

Is short for