What does $[n=0]$ mean?

Question

Namely, in the context of a recursively defined sequence:

$a_n=a_{n-1}+b_{n-1}+a_{n-2}+[n=0]$

where b is an element of another sequence.

Answer 1

It’s an Iverson bracket, and both of the earlier comments interpret it correctly.