Update and rename BXC-Notation to BXC1.tex