Well, i guess you have it figured out, if you have on ban triggering this and not on rawmode...
but say you have an alias like
alias nicks {
var %x = 1 , %n
while ($ialchan($1,$2,%x).nick) {
%n = %n $ifmatch
inc %x
}
return %n
}
use would be $nicks(<mask>,<chan>)
then you have your theme part, like:
on ^*:ban:#:echo 3 -t # * $nick is banning $banmask : takes effect on $nicks($banmask,#) | haltdef
something like that.