Talk:Rule of Top-Introduction/Tableau Form

The abreviation $\text{TI}$ is also used for Rule of Theorem Introduction so probably best to leave this one as $\top \mathcal I$ only, messy though it looks. --prime mover (talk) 19:54, 27 February 2014 (UTC)