Testing addition with a symbol