Reduce notation variables