Sometimes \upharpoonright prints the "restriction" (as it is supposed to do) on the output text file, but sometimes it prints horizontal bars (on top of the line) - which I don't know how to correct.
How can I always get the "restriction" arrow?
\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}
`to mark your inline code as I did in my edit. – Torbjørn T. Jan 10 '12 at 15:24!in front of the link after uploading and we will fix it for you. – percusse Jan 10 '12 at 15:25amssymb, both\upharpoonrightand\restrictionare defined as\mathchar"3416. To see this add\show\upharpoonrightand\show\restrictionin you code and check your.logafter you compile. Do this at the start of your document (correct output) and at the end (incorrect output) to see if there's a difference. Also, some other packages define these commands, so perhaps add\listfilesbefore\documentclassand add everything after**File List**in your.logto your post via an edit. – Werner Jan 10 '12 at 18:27