[factorial →^{pyk} “factorial”]

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

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