Las notaciones del tipo