reference

keyboard shortcuts

The shortcuts below are implemented by the current app, not aspirational commands.

docs navigation

/	Focus documentation search.
Ctrl / ⌘ + K	Focus documentation search.

solving

A–E	Select a matching multiple-choice option.
Enter	Create a new proof-editor line.
↑ / ↓	Move between proof-editor lines.
Backspace	Join with the previous proof-editor line at the start of a line.

proof-editor replacements

structure

`//`	`\frac{}{}`	frac
`sq`	`\sqrt{}`	√
`^`	`^{}`	^n
`_`	`_{}`	sub

relation

`<=`	`\leq`	≤
`>=`	`\geq`	≥
`!=`	`\neq`	≠
`~~`	`\approx`	≈
`+-`	`\pm`	±
`**`	`\cdot`	·
`xx`	`\times`	×
`->`	`\to`	→
`=>`	`\implies`	⟹
`iff`	`\iff`	⟺

symbol

`inf`	`\infty`	∞
`...`	`\ldots`	…
`sum`	`\sum_{ }^{ }`	Σ
`prod`	`\prod_{ }^{ }`	Π
`int`	`\int_{ }^{ }`	∫
`lim`	`\lim_{ }`	lim

greek

`alpha`	`\alpha`	α
`beta`	`\beta`	β
`gamma`	`\gamma`	γ
`delta`	`\delta`	δ
`eps`	`\epsilon`	ε
`theta`	`\theta`	θ
`lambda`	`\lambda`	λ
`pi`	`\pi`	π
`sigma`	`\sigma`	σ
`phi`	`\phi`	φ
`omega`	`\omega`	ω

function

`sin`	`\sin`	sin
`cos`	`\cos`	cos
`tan`	`\tan`	tan
`log`	`\log`	log
`ln`	`\ln`	ln

toolbar

The proof editor also exposes a clickable subset of these commands. The current toolbar contains 15 shortcuts.