I think it's a common terminator symbol.