vex notation