operators.txt