I've submitted a replacement to arxiv that fixes the encoding issues (arxiv unfortunately does not support xelatex, which I use extensively). That will appear

I've submitted a replacement to arxiv that fixes the encoding issues (arxiv unfortunately does not support xelatex, which I use extensively). That will appear Tue 0:00 GMT. In the meantime, I've made a version available at https://www.cs.umd.edu/~dvanhorn/jfp-draft-2016.pdf https://www.cs.umd.edu/~dvanhorn/jfp-draft-2016.pdf