Details for calculating definition of \odot