Use & for isabelle mode