Make a notation for trunc_S

iThis closes #525.

I haven't tested it locally yet, because the newest version of trunk broke a number of things, so I'm relying on travis.