This is simple python script to convert symbols to trigraph symbols.