define operator==() between any symbol nodes