*AIDA declarations supporting program compactness

∗AIDA (Star-AIDA) is a programming (modeling) language for programming in pictures. The pictures play a role of algorithmic super-characters and their compositions can be considered as compound pictures and as "super-texts." A very-high level of the super-characters allows not only to essentially decrease the algorithm representation sizes, but also to increase understandability of algorithms. In addition to the level of the super-characters, important contributions to the compactness and understandability of ∗AIDA programs are related to forms of the picture compositions and displaying (visualizing) such compositions. These forms are based on folding/unfolding techniques, clarifying annotations, patterns for representing formulas, etc. In this paper, ∗AIDA declarations are considered and a special approach for manipulating with large-scale formulas and large number of variables is presented.