Jak mogę używać znaków Unicode do etykiet, tytułów i podobnych rzeczy na wykresie PDF utworzonym za pomocą ggplot2?

Rozważ następujący przykład:

library(ggplot2)
qplot(Sepal.Length, Petal.Length, data=iris, main="Aʙᴄᴅᴇғɢʜɪᴊᴋʟᴍɴᴏᴘǫʀsᴛᴜᴠᴡxʏᴢ")
ggsave("t.pdf")

Tytuł fabuły wykorzystuje znaki Unicode (małe kapsle), które na wyjściu wyglądają jak.... Problem występuje tylko w działkach pdf; jeśli zastąpię ostatnią linięggsave("t.png"), to wyjście jest zgodne z oczekiwaniami.

Co ja robię źle? Skrypt R, który mam, jest w kodowaniu UTF-8. Niektóre informacje o systemie:

R version 2.14.1 (2011-12-22)
Platform: x86_64-pc-linux-gnu (64-bit)

locale:
 [1] LC_CTYPE=en_US.UTF-8       LC_NUMERIC=C              
 [3] LC_TIME=en_US.UTF-8        LC_COLLATE=en_US.UTF-8    
 [5] LC_MONETARY=en_US.UTF-8    LC_MESSAGES=en_US.UTF-8   
 [7] LC_PAPER=C                 LC_NAME=C                 
 [9] LC_ADDRESS=C               LC_TELEPHONE=C            
[11] LC_MEASUREMENT=en_US.UTF-8 LC_IDENTIFICATION=C       

attached base packages:
[1] stats     graphics  grDevices utils     datasets  methods   base

Szukając rozwiązania tego problemu, znalazłem kilkadowód że R używa kodowania jednobajtowego dla kodowań wielobajtowych, takich jak UTF-8 dla wyjścia PDF lub postscript. Znalazłem także sugestie, aby na przykład móc uzyskaćZnak euro działa, ale nie ma ogólnego rozwiązania.