## Equations

- One or more equations did not get rendered due to their size.

`rename' h => hnew`

renames the hypothesis named `h`

to `hnew`

.
To rename several hypothesis, use `rename' h₁ => h₁new, h₂ => h₂new`

.
You can use `rename' a => b, b => a`

to swap two variables.

## Equations

- One or more equations did not get rendered due to their size.