X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=e18f3a0675cd208debb5f985e62f9a010128a980;hb=a79bf6edc13daaea8135ca71fdc92e02e229f030;hp=b0c0a863e55e1a8c9a69602730f360fa48d3bf30;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git
diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml
index b0c0a863e..e18f3a067 100644
--- a/helm/software/matita/help/C/sec_gettingstarted.xml
+++ b/helm/software/matita/help/C/sec_gettingstarted.xml
@@ -16,19 +16,37 @@
Using the "Ctrl+Shift+Unicode code" standard Gnome shortcut. E.g. Ctrl+Shift+3a9 generates "Ω".
Typing the ligature "\name" where "name"
- is a standard Unicode or LaTeX name for the character. Pressing
- "Alt+L" just after the last character of the name converts
- the ligature to the Unicode symbol. This operation is
- not required since Matita understands also the "\name"
- sequences. E.g. "\Omega" followed by Alt+L generates
- "Ω".
+ is a standard Unicode or LaTeX name for the character or an
+ ASCII art resembling the shape of the character. Pressing
+ "Alt+L" or Space or Enter just after the last character
+ of the name converts
+ the ligature to the Unicode symbol.
+ E.g. "\Delta" followed by Alt+L generates
+ "Î", while pressing Alt-L after "=>" generates
+ "â"
- Typing one of the following ligatures (and optionally
- converting the ligature to the Unicode character has described before):
- ":=" (which stands for â); "->" (which stands for
- "â"); "=>" (which stands for "â").
+
+ Typing a symbol and rotating trough its equivalence class
+ with Alt-L. E.g. pressing Alt-L after an "l"
+ generates a "λ", while pressing Alt-L after an
+ "â" once generates "â" and pressing
+ Alt-L again generates "â".
+
+
+ The comprehensive list of symbols names or shortcuts and their equivalence
+ classes is available clicking on the "TeX/UTF-8 table" item
+ of the "View" menu.
+
+
+ There is a memory mechanism related to equivalence classes that
+ remembers your last choice, making it the default one. For example,
+ if you use "_" to generate "â»"
+ (that is the third choice, after "â½" and "â¼"),
+ the next time you type Alt-L
+ after "_" you immediately get "â»".
+
Browsing and searching