Yes -- I actually couldn't find a reference for use of this symbol this way, so I thought better of it...