[dworthing]

Thank you dworthing. I’ve run into this symbol before, but only in isolated situations. This is the first entire chapter devoted to this operation I’ve seen.