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