Se utiliza como el operador lógico de conjunción y en Ada 2005 para añadir a un tipo una determinada interfaz.