Rodin Handbook





 
Previous: The builder takes too long Up: General Tool Usage Next: Pretty Print does not work on Linux Rodin User’s Handbook v.2.8

4.2.4 What are the ASCII shortcuts for mathematical operators?

A page describing the ASCII shortcuts that can be used for entering mathematical operators can be found in the Help menu. To view this page, select Help $\rangle $ Help Contents and then select Rodin Keyboard User Guide $\rangle $ Getting Started $\rangle $ Special Combos in the window that pops up.

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 select Contents and select the page in the tree.

Previous: The builder takes too long Up: General Tool Usage Next: Pretty Print does not work on Linux  
Rodin User’s Handbook v.2.8 : Frequently Asked Questions : General Tool Usage : What are the ASCII shortcuts for mathematical operators?