"Cannot Parse" Theorems Involving T_X.5

[austinmohr]

There is a "cannot parse" error whenever one tries to create a new theorem involving T_2.5 or T_3.5. Using a synonym works, but the error could be confusing for the user.

[StevenClontz]

Attempting to use \sigma-compact as an antecedent also results in

Could not parse formula. Please be sure it is well-formed.

Using sigma-compact works, but that's not what the auto-complete yields.