Notation and bit vectors