O: Semantic analyser, : Add-on interactors



4.2.2 Displaying the definition of the current symbol under point