Use vex and vex autocompletion