translate notations into english