added some other prelude characters