Library module of symbolic definitions