[refman] Add "lonely notation" to glossary
[refman] Add "lonely notation" to glossary

ejgallego/coq,ejgallego/coq,coq/coq,coq/coq,coq/coq,SkySkimmer/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,coq/coq,ejgallego/coq,SkySkimmer/coq