That's one of the options I listed as available but can't assume is true.

Addendum so 2x is 2 times x and xx is x times x, more argument for 2 legs being x squared