8/7= 1 remainder 1 15/7=2 remainder 1
The sum called 8 and 15 are congruent with respect to module 7.
The symbol is three lines (because it can't be typed, the word "three" is used instead)
8 III 17(mod7)
I suggest you check Fermat's last theorem again, which is very useful for congruence.