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.