问个问题（算符优先文法）
在《程序设计语言 编译原理》一书中90页中有如下例题
例5.4考虑下面的文法G:
(1)E→E+T|T
(2)T→T*F|F
(3)F→P↑F|P
(4)P→(E)|i

请问第三个式子中向上箭头是什么意思（书中并没有解释这个向上箭头是什么意思）