aliases():TAGGED("aliases")
/**/ alias LL := $abcd; /**/ aliases(); Coclib = $coclib Approx = $approx (...) TP = $contrib/thmproving TV = $contrib/typevectors LL = $abcd