Symbol: get_dimension