[SIGCIS-Members] Material and embodied practices of people doing mathematics, symbolic logic, and calculation