Definition:Bourbaki Assembly/Link

Definition
An assembly in 's exposition of a mathematical theory is specified as being:
 * A succession of signs written one after another;
 * Certain signs which are not letters can be joined in pairs by links, as follows:


 * $\overbrace {\tau A \Box}^{} A'$