[my factorial =^{pyk} “my factorial”]

[x! =^{tex} “#1.!”]

[x! ˙= If(x ≈ 0, 1, x · (x − 1)!)] [1! ≈ 1]^{·} [3! ≈ 6]^{·}