Output standard notation like U U' U2 instead of U1 U2 U3

This should be a trivial modification in the GUI but I didn't investigate how the enums are designed