Make a notation for trunc_S

This closes #525