確かにそうなんですけど、宣言の後に代入するとき変な気持ちになります$A$:環$=\lbrace \sim \rbrace$$A=\lbrace \sim \rbrace$:環どっちがいいかと言われるとなんとも言えませんがあとエディタ上だと函数の引数を分けるカンマと比べてコロンの方が主張が強くてコロンで分かれてる感じがするんですよね