Esto es porque no existe el término |01>.