diff --git a/src/output.jl b/src/output.jl index 003deec4..96f65d3d 100644 --- a/src/output.jl +++ b/src/output.jl @@ -88,6 +88,7 @@ const _savemap = Dict( "tex" => tex, "json" => json, "html" => html, + "tex" => tex, "tikz" => tex, "txt" => txt, )