Information about notation: KID-ROM