What does it mean when range is expressed between two "["?

Question

In this YouTube video the presenter writes $[0, 2^{128} [$ is this different than $[0, 2^{128} ]$ This happens around time 2:20

She also writes something that appears to be $[0, 16 [$ but there is some mark so it looks more like $[0, 16' [$ does this mean anything or was it just a scribe?

Answer 1

$\left[a,b\right[$ is an alternative notation for $[a,b)$. It's standard in French, for instance.