Make a notation for trunc_S

This closes #525
Merge pull request #532 from JasonGross/trunc-S-notation

Make a notation for trunc_S