\upharpoonright 问题

Question

有时\upharpoonright在输出文本文件上打印“限制”（正如它应该做的那样），但有时它会打印水平线（在行的顶部）——我不知道如何纠正。我怎样才能始终获得“限制”箭头？

\begin{corollary} 
Suppose $A \subseteq B$ and $C$ is a club in $P_\kappa B$. 
Then $C \upharpoonright A$ includes a club of $P_\kappa A$. 
\end{corollary}