The integers modulo n, given by
is cumbersome to write. Accordingly, I would like to set up a new command that allows me to specify an input 'n'. Something like
But the above code is not right. Does anyone have any idea how this might be done?