Changed definitions to use \operatorname.