Added \:, <F5> and <F6>
Changed the default action for prod
Fixed default actions for S.prod