The PDF draws these characters as pictures. Type what each one is once; it is kept on this device and the files are read again.