[Agda] Big brackets: parse error

[Vag Vagoff]

How to make use of big brackets and parentheses? Parser complains at ［_］: {A : >>> here <<< Set} → A → A

  -- [ ] --
［_］: {A : Set} → A → A
［a］ = a

-- ( ) --
（_）: {A : Set} → A → A
（ a ）= a