Unfolding of notations

[skogsbaer]

With unfold, you can unfold notations, e.g. unfold "#".

You can't to this with sauto: sauto unfold:"#" or sauto unfold:# gives a syntax error.