Hid the pre tag so that the display doesn't glitch when rendering the notation.