How do you feel about [k]_n as notation for "k modulo n"?