In Jupyter Notebooks you can type, for example \alpha and hit the tab key and the \alpha changes into α. This is a pretty cool feature. Unfortunately, it doesn't work in the jupyter-lab editor. Any reason why that doesn't work? Or do I need to set a preference somewhere?