Skip to content

Formula Editing Faster Than Handwriting

Liii STEM provides a new formula input workflow that is simple and easy to memorize. With about one week of practice, your formula typing speed can match handwriting.

1. LEGO Symbols

LEGO symbols generate math symbols by combining characters with shape-based rules.

For example, < and > represent direction, and @ represents a circle. Typing < + = gives \leqslant.

SymbolLiii STEM LEGO input
\rightarrow- >
\longrightarrow- - >
\nRightarrow= > /
\infty@ @
\oplus@ +
\otimes@ *
R\mathbb{R}R R
Q\mathbb{Q}Q Q
...

2. Tab Cycling

In math mode, any typed character can cycle through related symbols using Tab, based on shape similarity or pronunciation similarity.

Use Shift + Tab to cycle backward.

Example: type A, press Tab twice to get \forall.

SymbolLiii STEM Tab input
\langle< Tab
\sqsubset< Tab
α\alphaa Tab
ε\varepsilone Tab
\forallA Tab
\existsE Tab
...

3. Shortcut Lookup and Memorization

Mastering shortcuts improves writing speed significantly.

  1. Hover over symbols in the math-mode toolbar to view shortcut hints.

  1. See all shortcuts in the official shortcut guide: Liii STEM Keyboard Shortcuts
  2. Guess shortcuts using LEGO symbols and Tab cycling. Video example: Ultra-fast Formula Editing

4. Extended Reading: Tab Equivalence Class

If you are familiar with abstract algebra, this design is very similar to cyclic groups.

Definition (Tab Equivalence Class)

Symbols aa and bb are equivalent under key cc if they can be reached in the same Tab cycle of cc (where cc itself is directly typable). The set of all such symbols is the Tab equivalence class of cc, denoted by [c][c].

For example, [h]={h,η,}[h] = \{ h, \eta, \hbar \}.

Examples

  • Greek-letter classes:
    • [a]={a,α}[a] = \{ a, \alpha \}
    • [b]={b,β,}[b] = \{ b, \beta, \flat \}
    • [d]={d,δ,d,}[d] = \{ d, \delta, \mathrm{d}, \partial \}
    • [D]={D,Δ,D,,}[D] = \{ D, \Delta, \mathrm{D}, \daleth, \nabla \}
  • Logic symbols:
    • [A]={A,,}[A] = \{ A, \forall, \aleph \}
    • [E]={E,}[E] = \{ E, \exists \}
  • Calculus-related classes:
    • [I]={I,,I,}[I] = \{ I, \int, \mathrm{I}, \Im \}
    • [II]={I,,I,}[II] = \{ \mathbb{I}, \iint, \mathcal{I}, \ldots \}
  • Font families:
    • [RR]={R,R,R,R,R,R,R}[RR] = \{ \mathbb{R}, \mathcal{R}, \mathscr{R}, \mathfrak{R}, \boldsymbol{R}, \mathrm{R}, \mathbf{R} \}