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.
Merge branch 'master' of https://github.com/cipher1024/literate-unitb