Xiao Lin goes to the park to play, the price of each ticket is 12.5 yuan, and he pays the conductor 20 yuan, how much should he get back?
小林去公园游玩，每张门票的价格是12.5元，付给售票员20元，应找回多少钱？
<gadget id="calculator">20 - 12.5</gadget>
<output>7.5</output>

<result>7.5</result>