My computer savvy is minimal - so I don't really know who to address regarding this - but I think philosophy ought to have LateX availability in text input, because there are going to be a lot of logic/formal logic questions. How can we get LateX on philosophy stackexchange?
Currently, only a handful of sites on the Stack Exchange network support LaTeX notation. Implementing support has been requested for some of the other sites, namely Stack Overflow, but has been denied.
The official argument from the team is that supporting this is an extremely heavy dependency, and that parsing LaTeX equations is an extremely expensive operation on the client side.
Certainly for sites like Mathematics where it's absolutely necessary, the massive dependency is an easier pill to swallow. And on sites like Stack Overflow, where it would only be used in exceptionally rare cases, it's a much easier decision to deny the request to support it. But on this site, I think things get much trickier. While there will be some questions dealing with formal logic that will require such mathematical-style proofs, there are also a lot more questions that deal with more abstract concepts which words will express just fine.
But do consider that there are simpler workarounds. Using straight HTML is a simple option for simple equations like 2πr2/6. And as KennyTM suggests, there's always old-school ASCII art. For those who like things a bit fancier and also happen to know the LaTeX engine, you can use an online service that generates the equations as images, which are easily embedded into a post (we have dedicated image-hosting for all sites on the network). For example, CodeCogs's Equation Editor has been recommended by several users.
Update: As the tag added to this question indicates, adding this has been officially declined by the team. We'll need some really compelling arguments to justify adding it. The above-mentioned workarounds seem perfectly sufficient to me, considering how often formal proofs are needed.
I have created a user script that adds a Math button to the editor, which then inserts HTML sequences as a lightweight solution compared to MathJax. For logic it should work just fine.
If you think other symbols may be useful, just let me know.
You can use this AutoHotkey script to convert LaTeX input into Unicode characters.
"Ctrl+Alt+Shift+U" toggles it on and off (look at the bottom right icon to see it's in suspense mode (icon S) of active mode (icon H).
Made an edit earlier this evening to this question converting LaTeX to a Mathjax output: Axioms for modal logics based upon counterfactuals
I used the following technique:
- Copy each LaTex code between the "$" signs in the edit window.
- Paste it into P. Lutus' "Interactive LaTeX Editor" https://arachnoid.com/latex/
- Use the MathJax Render Mode.
- Copy the output and paste it over the code in the question.
This seemed to work.