Is this symbol used at all?