| @shawnoc: It would take strictly less time than forcing someone who writes out "five, seven" to delete it and write "5, 7" in its place. I think it's good to accept wordier forms of answers and then have the abbreviated form pop up instead, as a way of telling the solver that there's a better way to do things without punishing them for starting with the formal route. |