Replace the unicode arrow characters with pipes. Maybe PDF generation on readthedocs will work now.