Great big hoss

The great big hoss is equal to $$\{\text{big hoss},\text{big hoss} \underbrace{////\ldots////}_{\text{big hoss}} 2\}$$ in BEAF.