User-defined operator