Update the [symmetry] comment

As per https://github.com/HoTT/HoTT/pull/491/files#r17436622