∞←の右端が切れたような記号は何と呼ぶんでしょうか?