as the title, does LaTexStrings.jl support print widetilde eqs? such as: 