@Tenore Primo
I agree that these characters should be allowed. The database that I use does not allow these characters. What I think I can do is to JSON encode them before I store them and then JSON decode the strings when I read them from the database. I will put that in next version. I'm sorry for the inconvenience.