Ugh, looks like all non-latin1 characters get lost on the way to pdf. Can't even use the euro sign. Tried using ® for the example but then that's specially rendered as an R in a circle which is wider than regular characters.