Les définitions reprennent les termes des « textes » de l'éditeur ligne.
nomq ‹def› : retourne le nom du « textes » ‹def›.
envq ‹def› : retourne l'environnement des définitions locales du « textes » ‹def›.
repq ‹def› : retourne la représentation du « textes » ‹def›.