yes, actually just doing
begin @parameters t σ ρ β @variables x(t) y(t) z(t) end
makes it work in Pluto. Nice!
But also, does anyone know how to get the Latex rendered?
