notation symbol