箭头里面的这两个式子是怎么转换的?