Information about notation: FOR-INST-DMM