Encode the bracket in the margin of 133v.