Rodin Handbook





 
Previous: The builder takes too long Up: General Tool Usage Next: Rodin (and Eclipse) doesn’t take into account the MOZILLA_FIVE_HOME environment variable User Manual for Rodin v.2.3

Feedback

4.2.4 What are the ASCII shortcuts for mathematical operators

The ASCII shortcuts that can be used for entering mathematical operators are described in the following section: Rodin Keyboard User Guide $\rangle $ Getting Started $\rangle $ Special Combos.

This page is also available in the dynamic help system. The advantage of using dynamic help is that it is able to display the help page side-by-side with the other views and editors. To start the dynamic help, click Help $\rangle $ Dynamic Help, then click All Topics and select the page in the tree.

Previous: The builder takes too long Up: General Tool Usage Next: Rodin (and Eclipse) doesn’t take into account the MOZILLA_FIVE_HOME environment variable  
User Manual for Rodin v.2.3 : Frequently Asked Questions : General Tool Usage : What are the ASCII shortcuts for mathematical operators