The indicator functional of a constraint set restricts the conjugate supremum to . Complete the square:
Its maximizer is when , and the nearer endpoint otherwise. The convex conjugate of a constrained quadratic is therefore
This is the unit-threshold Huber loss; both branches and their first derivatives agree at the transition points. The original PDF constrains , including both signs; the damaged TeX loses that absolute value.