adding alphabetical list of some 375 or so operators and alternate names for operators (whew)