EDIT
This symbol and its counterpart
U+27E6 are used in natural language semantics to represent the denotation function, e.g., ⟦dog⟧ = the set of all things that are dogs, and ⟦Mohandas Ghandi⟧ = the physical being customarily referred to by that name.
