Information about notation: ZOO-PROT