Journal of operators