<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi Mike,<div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>Have you tried isolating the pipe character</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>Like:</div><div><span class="Apple-style-span" style="font-family: monospace; "> a \{a{|}b\} d</span></div><div><font class="Apple-style-span" face="monospace"><br></font></div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>I do not have your font so I can try it out !!</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>You might try and a blank, too:</div><div><div><span class="Apple-style-span" style="font-family: monospace; "> a \{a |b\} d</span></div><div><font class="Apple-style-span" face="monospace"><br></font></div></div><div>regards</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>Keith.</div><div><br></div><div><font class="Apple-style-span" face="monospace"><br></font></div><div>Am 03.03.2010 um 04:02 schrieb Mike Maxwell:</div><div><div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Herbert Schulz wrote:<br><blockquote type="cite">Seems to be font related. When I use Monaco I get<br></blockquote><blockquote type="cite">------------------------------------------------------------------------<br></blockquote><blockquote type="cite">(I don't have DejaVu Sans Mono).<br></blockquote><br>I think you're right--I took out the \setmonofont...{DejaVu Sans Mono}, and no longer get the problem with whatever my default mono-spaced font is. (How do I find out what that is?)<br><br>Back with DejaVu, I also tried a ZWSP, but the font doesn't know what that is, and outputs a rectangular box instead; the box overstrikes the 'a' as well. I also tried a ZWNJ between the a-macron and the pipe, but that seems to have no effect (the pipe still overstrikes the a-macron).<br><br></div></blockquote></div><br></div></body></html>