宏包amsmath 提供了两个可以伸长的单箭头符号 xleftarrow[下方公式]{上方公式} xrightarrow[下方公式]{上方公式} $a xleftarrow{n=0} b xrightarrow[t]{n>0} c$