Prove-It
Prove-It copied to clipboard
Underscores are sometimes misinterpreted in notebook titles
trafficstars
In some of the proof notebook titles, underscores appearing in theorem names are being misinterpreted (looks like they're being interpreted, sometimes, as flags for italics). As an example, consider the title for the proof notebook for the QPE theorem called '_e_value_in_e_domain', where the first two underscores are producing an italicized 'e' instead of the characters 'e' :
