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]{turn}a line you wrote
- new
- subject
~proof- mode
boundary- body
turn
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[*]1051 lines, with the lens open~proof{*}1056 lines, with what it holds open~proof<*>393 lines, with where it goes open[boundary]3 lines, with the word open
22 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]{turn}add boon
- add
- lands
- Not on the shelf yet.
- why
- a valence word rides the word
subject the word
-
season[boundary]{turn}swap to season
- swap
- near
- lands
- Not on the shelf yet.
-
proof[boundary]{turn}swap to proof
- swap
- near
- lands
- Not on the shelf yet.
-
brace[boundary]{turn}swap to brace
- swap
- near
- lands
- Not on the shelf yet.
-
folio[boundary]{turn}swap to folio
- swap
- common
- lands
- Not on the shelf yet.
mode the lens
-
~proof[prime]{turn}swap to prime
- swap
- common
- lands
- Not on the shelf yet.
-
~proof[hook]{turn}swap to hook
- swap
- common
- lands
- Not on the shelf yet.
-
~proof[component]{turn}swap to component
- swap
- common
- lands
- Not on the shelf yet.
-
~proof[depth]{turn}swap to depth
- swap
- common
- lands
- Not on the shelf yet.
-
~proof{turn}drop the lens
- drop
- lands
- Not on the shelf yet.
-
~proof{turn}(boundary)turn its walls to ( )
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes the scene
-
~proof{turn}<boundary>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes where it goes
body what it holds
-
~proof[boundary]{name;version;next}swap to name;version;next
- swap
- near
- lands
- Not on the shelf yet.
-
~proof[boundary]{works.claims.not_claimed}swap to works.claims.not_claimed
- swap
- near
- lands
- Not on the shelf yet.
-
~proof[boundary]{transform}swap to transform
- swap
- near
- lands
- Not on the shelf yet.
-
~proof[boundary]{open.sit}swap to open.sit
- swap
- common
- lands
- Not on the shelf yet.
-
~proof[boundary]drop what it holds
- drop
- lands
- Not on the shelf yet.
-
~proof[boundary](turn)turn its walls to ( )
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes the scene
-
~proof[boundary]<turn>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes where it goes
projection where it goes
-
~proof[boundary]{turn}<attention>add attention
- add
- near
- lands
- Not on the shelf yet.
-
~proof[boundary]{turn}<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
~proof[boundary]{turn}<china>add china
- add
- common
- lands
- Not on the shelf yet.
Constructs · Specimens · Take one line apart · Learn it a mark at a time