Documentation to NotationConversion