Template:Quotient-defining function