That would be my wager. In particular, it seems they're talking about the / ... / notation described in the first table here: https://en.wikipedia.org/wiki/International_Phonetic_Alphabe...