Maybe in the section in LeoDocs that mentions abbreviations? It's very short, and these shortcuts could serve as examples, too. @Edward suggested disabled in LeoSettings.leo. That would be all right too, but how many of us troll through there looking for interesting things?
I expect my own list to grow. I'm trying to avoid too much growth, just because if it's large I won't remember them. On Monday, January 9, 2023 at 2:32:39 PM UTC-5 Rob wrote: > Thanks for the list! I do much the same thing and have an even longer > list; not just Greek letters. Is there a better place to add to the list > than here? > > Rob... > > On Sunday, January 8, 2023 at 2:19:32 PM UTC-5 tbp1...@gmail.com wrote: > >> Sometimes I want to insert a Greek letter into text, often *sigma *or >> *mu*. On Windows, at least, it's always annoying and clumsy. So I >> thought I'd try out Leo's abbreviations, which I've never used in the >> past. It's working well, so I've collected them here in case it will save >> someone else some trouble. >> >> When you type one of the abbreviations (like alph;;), Leo replaces what >> you typed with the corresponding text. That text can be long and >> complicated, but here it's just a single symbol. The abbreviation >> definitions must be copied into a settings node, best placed in >> *myLeoSettings.leo*, and the node's headline must start with *@data >> global-abbreviations* >> to make them available in all outlines. My node has the headline >> *@data global-abbreviations - Symbols. * Here is the content of the >> node's body, ready to be copy-pasted: >> >> alph;;=α >> beta;;=β >> delt;;=δ >> gam;;=γ >> mu;;=μ >> pi;;=π >> sig;;=σ >> >> Delt;;=Δ >> Sig;;=Σ >> pm;;=± >> >> The abbreviations don't have to end with ";;" but that's easy to type and >> unlikely to be typed for any other reason. That's probably why it's used >> in many of the examples. >> >> To make abbreviations active you also have to add a new setting >> @bool enable-abbreviations = True. >> > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/ad6172a2-398c-46dd-9e8d-37ccc7950928n%40googlegroups.com.
