The triangle is a stray symbol which (I think?) accidentally slipped into my translation.