4(BAN
2
@v)
Also:
4(ban
2
@v).
)