¹⁶Note that the program AldorDoc by Yannis Chicha does not come with any LATEX style file. Since our goal is to eventually revive AldorDoc, we named our aldordoc LATEX package after AldorDoc, but in contrast to AldorDoc we use just small letters.