Structure of laws as represented by symbolic methods