Fixed #7: new symbols and greek letters