On this page:
3.1 Algebra
3.2 If True and If False
3.3 If Irrelevant
3.4 Function Name to Body
3.5 Variable Name to Definition

3 Context-specific Buttons🔗

The following sections will be filled in when Dave has a bit of time to do so (note that the button names may not even be quite right).

3.1 Algebra🔗

3.2 If True and If False🔗

3.3 If Irrelevant🔗

3.4 Function Name to Body🔗

3.5 Variable Name to Definition🔗