Confused about operator precedence for 2^3x

You’re correct that this doesn’t follow a normal precedence relation. Unwary operators, including juxtaposition, bind tighter than ^ on the right but looser on the left. This matches the convention of mathematical notation.