format

such as ］-> ]