# \upharpoonright problem [closed]

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}

-

## closed as too localized by egreg, Joseph Wright♦Mar 3 '12 at 22:17

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Welcome to TeX.sx! A tip: You can use backticks  to mark your inline code as I did in my edit. –  Torbjørn T. Jan 10 '12 at 15:24
Can you please take a small screenshot and upload here? You don't have the privileges to post a picture yet. But remove the ! in front of the link after uploading and we will fix it for you. –  percusse Jan 10 '12 at 15:25
Please add to your question a minimal working example illustrating the problem mentioned. –  Gonzalo Medina Jan 10 '12 at 15:30
The problem is a bit mystical: the same code put in the beginning of a file outputs correctly, but its copy at the end outputs falsely. I use WinEdit 6.0. the code is e.g. \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} Thank you guys very much for concerning yourself with my question! –  Isaac Gorelic Jan 10 '12 at 17:38
With amssymb, both \upharpoonright and \restriction are defined as \mathchar"3416. To see this add \show\upharpoonright and \show\restriction in you code and check your .log after 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 \listfiles before \documentclass and add everything after **File List** in your .log` to your post via an edit. –  Werner Jan 10 '12 at 18:27