To See the Unseen: on the Generalization Ability of Transformers in Symbolic Reasoning