Blast! I wrote out an answer but my internet connection went down before I could post it!
" " is the set of integers "modulo 12". That is, we consider two integers whose difference is a multiple of 12 to be the same. and " " is "addition modulo 12". " " because 9 is less than 12 but because . Here, is the same as (mod 12).