some keywords replaced with symbols for polish notation