finish removing alternative notation code from preferences