Notice that the comments are, by default (this can be changed), coloured red by
T
E
X
works, so
we see them well.