Alpha²: Discovering Logical Formulaic Alphas using Deep Reinforcement Learning | Synapse