added a component to Notation records, commands, so that latex commands with arbitrary numbers of arguments can be considered as operators. This is meant to facilitate the definition of the everywhere operators [ . ] (\ew{ expr } in latex) in a predicate calculus theory.