Did you know ... Search Documentation:
Title for pldoc(object(section('sec:Arithmetic_constraints')))

Sorry, No manual entry for section(sec:Arithmetic_constraints)