tested extension!!

swappped the labels for the new symbols in the extentsion UI
notation.xul