Correct. Brian can withdraw any amount of cash higher than $20, but since he can also withdraw exactly $20, the sign needs to have an equals component.