Symbol for operator