Pivot a line
Change one slot, keep the rest, and see the line before you go. Forms, side by side shows what each slot does.
The line
&proof[boundary]a line you wrote
- new
- subject
&proof- mode
boundary
Tap a part for its next turn, again to go; swipe to step, pinch to drop. Keys: arrows, Delete, Enter.
An operator in front
Families it belongs to
&proof[*]1053 lines, with the lens open&proof{*}1058 lines, with what it holds open&proof<*>394 lines, with where it goes open[boundary]3 lines, with the word open
16 lines one change away
Drop a slot to read what the line says without it.
near: a line sharing a slot uses it · common: common on the shelf
charge the charge in front
-
boon &proof[boundary]add boon
- add
- lands
- Not on the shelf yet.
- why
- a valence word rides the word
subject the word
-
season[boundary]swap to season
- swap
- near
- lands
- Not on the shelf yet.
-
proof[boundary]swap to proof
- swap
- near
- lands
- Not on the shelf yet.
-
brace[boundary]swap to brace
- swap
- near
- lands
- Not on the shelf yet.
-
folio[boundary]swap to folio
- swap
- common
- lands
- Not on the shelf yet.
mode the lens
-
&proof[prime]swap to prime
- swap
- common
- lands
- Not on the shelf yet.
-
&proof[hook]swap to hook
- swap
- common
- lands
- Not on the shelf yet.
-
&proof[component]swap to component
- swap
- common
- lands
- Not on the shelf yet.
-
&proof[depth]swap to depth
- swap
- common
- lands
- Not on the shelf yet.
-
&proofdrop the lens
- drop
- lands
- Not on the shelf yet.
-
&proof{boundary}turn its walls to { }
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes what it holds
-
&proof(boundary)turn its walls to ( )
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes the scene
-
&proof<boundary>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes where it goes
projection where it goes
-
&proof[boundary]<attention>add attention
- add
- near
- lands
- Not on the shelf yet.
-
&proof[boundary]<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
&proof[boundary]<china>add china
- add
- common
- lands
- Not on the shelf yet.
Constructs · Specimens · Take one line apart · Learn it a mark at a time