fix a bug occured when checking inverse symbol