Is #2+-1sqrt3# the same as #2+-sqrt3# ?